Klassische Logik
Die klassische Logik umfasst die Aussagen- und Prädikatenlogik.In der klassischen Logik nimmt man im Gegensatz zum Intuitionismus den Satz vom ausgeschlossenen Dritten (tertium non datur) - eine Aussage ist entweder wahr oder falsch, ein Drittes gibt es nicht - als gegeben an.
Es werden damit Existenzbeweise möglich, bei denen zwar die Existenz eines Objektes mit einer bestimmten Eigenschaft bewiesen wird, ohne das Objekt selbst anzugeben. Ein solcher Beweis wird daher als nichtkonstruktiv bezeichnet.