Offene Bearbeitungen für Piano Axioms Suite no. 1, Fs ℕ: V. ∀A(0 ∈ A ∧ ∀a(a ∈ A ⇒ S(a) ∈ A) ⇒ A ⊇ ℕ)
~ Werk
| Schnelllinks: | Alle Bearbeitungen für dieses Objekt | Diese Suche verfeinern | Offene Bearbeitungen | Bearbeitungen suchen |
|---|---|
| Hilfe: | Einführung ins Abstimmen | Einführung ins Bearbeiten | Stilrichtlinien |
0 Bearbeitungen gefunden