Mit NAND kann man (klassische Logik vorausgesetzt) alle anderen logischen Junktoren darstellen, ebenso wie man exists und exists! durch forall und Junktoren ausdrücken kann. Aber ich denke, auf diese Symbole - die ja bereits in der als gegeben vorausgesetzten Logik definiert werden - sollten wir nicht verzichten. Mit dem "=" ist das so eine Sache (jetzt erzähl ich, was ich von meiner Modelltheorie-Vorlesung behalten hab):