Hume's Principle, via Frege's Theorem, actually derives the full Dedekind-infinite sequence of natur...