Richtig, genau so meine ich's, und dabei beziehe ich mich auf die Diskussion über Quantoren auf der Diskussionsseite des Portals. Ich will aber keinesfalls vorschlagen, dies auf der Artikelseite so umzuformulieren. SirJectives Formulierung finde ich völlig in Ordnung, ich hoffe, er setzt sie um (sonst tu ichs gelegentlich). Nur für unsere interne Diskussion wollte ich festhalten, dass wir ohne Metasprache nicht auskommen und dass wir auch in dieser Quantoren brauchen (und, auch wenn Gunther es vorläufig noch nicht glauben will, auch natürliche Zahlen.) -- Peter Steinberg 21:05, 25. Jun 2005 (CEST)