Beweis von Theorem 1
Es gelten die allgemeinen
Vorbemerkungen
.
(1)
Axiom 2
∀a: (a+0)=a
(2)
Spezialisierung (1)
a
←
a
(a+0)=a
(3)
Symmetrie (2)
a=(a+0)
(4)
Transitivität (3), (2)
a=a
(5)
Verallgemeinerung (4) nach
a
∀a: a=a
Interpretation:
Gleichheit ist reflexiv
Übersicht