Lexikon

Trtium non dtur

[
lateinisch, „ein Drittes gibt es nicht“
]
Satz vom ausgeschlossenen Dritten
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.

Weitere Artikel aus dem Vornamenlexikon