Ich zitiere Dich von oben: "In Teilen der Logik ist es absolut üblich, Prädikatenlogik so zu untersuchen, dass eben keine Tautologie ist." Dann gilt offenbar die Frege-Existenzquantoreinführung nicht und auch ist keine Tautologie. -- Wilfried Neumaier 11:01, 7. Feb. 2015 (CET)