Hallo Nicole,
$wahl = intval($_POST['radio']['button']);
ein
print_r($_POST);
verrät dir, dass du hier ein "['radio']" zu viel hast, mit
$wahl = intval($_POST['button']);
sollte es funktionieren (wobei das intval imho nicht unbedingt notwendig ist, da php die Typenkonvertierung automatisch macht).
Grüße aus Nürnberg
Tobias