tertium non datur"

Littéralement la troisième n'est pas donnée, autrement dit, il n'existe pas de troisième solution.

Fait référence à la logique aristotélicienne. Expression plus connue sous le nom de principe du tiers exclu ou principe de non contradiction et énonçant que pour toute proposition p, l'une ou l'autre parmi cette proposition p et sa négation non-p est fausse. Autrement dit que p et non-p ne peuvent être vraies en même temps.