Modifiche in corso per Piano Axioms Suite no. 1, Fs ℕ: V. ∀A(0 ∈ A ∧ ∀a(a ∈ A ⇒ S(a) ∈ A) ⇒ A ⊇ ℕ)
~ Opera
| Collegamenti rapidi: | Tutte le modifiche per questa entità | Affina la ricerca | Modifiche in corso | Cerca modifiche |
|---|---|
| Aiuto: | Introduzione ai voti | Introduzione alle modifiche | Linee guida di stile |
Trovate almeno 0 modifiche