Markus Michelbrink

Suggest Changes
Learn More
We argue classicaly. We identify a natural number with the set of its predecessors. Definition 0.1. Let n ∈ N, ~x, ~y ∈ N and M, N ⊆ N. ~x ≤ ~y :⇔ ∀i < n.xi ≤ yi ~x < ~y :⇔ ~x ≤ ~y ∧ ~x 6= ~y M :=(More)
  • 1