Richard G. Heck

Suggest Changes
Learn More
Frege, famously, held that there is a close connection between our concept of cardinal number and the notion of one-one correspondence, a connection enshrined in Hume’s Principle. Husserl, and later(More)
Frege’s definitions of zero, predecession, and natural number will be explained below. As for second-order Dedekind-Peano arithmetic, the axiomatization most convenient for our purposes is the(More)
(1) If y is a subset of some member of A, then y is a subset of ∪A. I.e., ∃z(z ∈ A ∧ y ⊆ z)→ y ⊆ ∪A. A fortioiri, if z ∈ A, then z ⊆ ∪A. (2) If y is a superset of every member of A, then y is a(More)
  • 1