site banner

Friday Fun Thread for May 24, 2024

Be advised: this thread is not for serious in-depth discussion of weighty topics (we have a link for that), this thread is not for anything Culture War related. This thread is for Fun. You got jokes? Share 'em. You got silly questions? Ask 'em.

3
Jump in the discussion.

No email address required.

natural-number mathematics defines 1 axiomatically as the multiplicative identity!

In what axiom set? Peano arithmetic just defines 1 as the successor of 0, and showing it's the multiplicative identity then requires a proof by induction.