Gewiß wenn


(∃n)
p

fn = φn
heißt „p kann für einen Fall bewiesen werden”, dann lautet der Satz vom ausgeschlossenen Dritten:
p kann bewiesen werden oder p kann nicht bewiesen werden.