Intuitionismus

Der Intuitionismus (auch Konstruktivismus) ist eine Denkrichtung in der mathematischen Logik, die das Gesetz des ausgeschlossenen Dritten (tertium non datur) ablehnt. Durch dieses Gesetz werden in der klassischen Logik Widerspruchsbeweise möglich, d.h. man beweist eine Tatsache, indem man ihr Gegenteil widerlegt. Diese Art des Beweises ist nichtkonstruktiv, weshalb er von manchen Mathematikern abgelehnt wird.

In der Mathematik des Endlichen gibt es keine Unterschiede, da hier das Gesetz des ausgeschlossenen Dritten immer durch Aufzählung aller Fälle angewendet werden kann.