Die jetzt gemachte Ergänzung erläutert zwar, warum es funktioniert, ist aber kein Nachweis, dass es sich um einen mathematisch rigorosen Beweis handelt (sprich, um eine Argumentationskette, die nur (möglicherweise indirekt) auf den Axiomen der natürlichen Zahlen beruht).