Wäre A die einzige – also wesentlich die einzige – Anwendung des Schemas, dann könnte das Schema ganz von selbst nichts anderes bedeuten, als eben die Tautologie.

⌊⌊
Daß wir den Kalkül ˇohne Tautologie mit Strichen machen können & zeigt daß wir für ihn keine Tautologien brauchen. Alles was nicht zum Zahlenkalkül gehört ist Beiwerk.


   3 + 2 = 5 muß Teil des Kalküls auch der Tautologie sein.

Statt um eine Definition der Zahl handelt es sich mir um die Grammatik der Zahlwörter.
⌋⌋
71


✓ ?