(n):n = 2 . ⊃ . (x,y,z) x² + y² = z²
Freilich sagt (∃x,y,z) nur, daß es beweisbar ist, daß x² + y² = z² Lösungen hat & bezieht sich nicht auf die Angabe bestimmter Zahlen, noch kann es durch diese Angabe bewiesen werden!