T ẹ rtium non d ạ tur
nachdem von einander sich kontradiktorisch widersprechenden Aussagen notwendig eine wahr und eine unwahr sein muss. In der modernen Mathematik durch den Intuitionismus bestritten, und zwar vor allem im Hinblick auf Aussagen über das Unendliche.
Auch: Satz vom ausgeschlossenen Dritten