Piano Axioms Suite no. 1, Fs ℕ: IV. ∀a∀b(a ∈ ℕ ∧ b ∈ ℕ ∧ S(a) = S(b) ⇒ a = b)

~ Work

Collections

Piano Axioms Suite no. 1, Fs ℕ: IV. ∀a∀b(a ∈ ℕ ∧ b ∈ ℕ ∧ S(a) = S(b) ⇒ a = b) has not been added to any collections.