Hallo Wilfried! Ich habe nie die "Anerkennung der Fregeschen Existenzquantoreinführung" verweigert, sondern darauf hingewiesen, dass sich diese in einem Kalkül auch so gestalten lässt, dass die Aussage zu keinem Widerspruch führt. Das wird natürlich hinfällig, sobald es ein Konstantensymbol gibt (in einen Kalkül übersetzt, in dem wir nur Relationssymbole haben, heißt das ja gerade, eine Existenzaussage als Axiom zu setzen), somit können wir hier auch ohne weiteres von der "klassischen" Existenzquantoreinführung ausgehen.