Jein, aber wenn die Seite über den Browser das erste Mal aufgerufen wird, ist $_POST nicht gesetzt und mit
PHP:
$auswahl = $_POST['auswahl'];
würdest du trotzdem darauf zugreifen. PHP wird dann meckern, aber das würde man auch nur sehen, wenn das Error-Reporting hochgedreht ist. Daher sollte man das schon mit isset prüfen.
