Das muss man doch gar nicht extra fordern, es ist doch ableitbar aus der Existenzquantoreinführung, die jede Prädikatenlogik hat.--Wilfried Neumaier (Diskussion) 17:41, 14. Jan. 2014 (CET). In der Mengenlehre wird ja die Prädikatenlogik mit Gleichheit vorausgesetzt! Hier gibt es die Tautologie x=x,die per Existenzquantoreinführung die Existenz eines x impliziert.-- Wilfried Neumaier 09:34, 16. Jan. 2014 (CET)