Bei den drei folgenden Axiomen ist bisher nicht erkennbar, was unter "Prädikat" verstanden werden soll. Irgendwie wird unausgesprochen eine Prädikatenlogik zu Grunde gelegt. (Natürlich auch schon durch die Verwendung der Quantoren.) -- Peter Steinberg 02:26, 19. Jun 2005 (CEST)