Bewijsmethode

In het bijzonder wordt de bewijsmethode van de reductio ad absurdum uitgesloten.

Bewijsmethode Het bewijs van de hoofdstelling is noodzakelijkerwijs niet zuiver algebraïsch, maar moet op één of andere manier gebruikmaken van de bijzondere eigenschappen van de complexe getallen.

Dat wil zeggen, het intuïtionisme verwerpt de bewijsmethode van het bewijs uit het ongerijmde : Indien men aanneemt dat iets niet bestaat, en daaruit een tegenspraak afleidt, geldt dat niet als een bewijs dat het bestaat.

Deze bewijsmethode wordt bijvoorbeeld toegepast wanneer een direct bewijs niet mogelijk is.