Re: Replacement of Cardinality

On 8/27/2024 3:29 PM, WM wrote:

Le 25/08/2024 à 23:28, Richard Damon a écrit :

Your final answer is basically just
admitting that your logic can't supply
the needed properties of the Natural Numbers.

 No logic can treat
the complete set of natural numbers
without dark numbers.

∀S ⊆ ℕ: S ≠ {} ⇔ ∃k ∈ S: k = min.S
∀k ∈ ℕ: k ≠ 0 ⇔ ∃j ∈ ℕ: j+1 = k
∀j ∈ ℕ: ∃k ∈ ℕ: j+1 = k