isset or not isset?

[Infocurci]

Una variabile inesistente, genera un errore di tipo Notice.
In ambienti di produzione, questi errori vengono di solito "spenti" ma l'errore c'è, prova questo snippet:

error_reporting(E_ALL);
ini_set('display_errors', '1');
echo "ciao $prova";