I took a course in undergrad called the “theory of positive integers” which started us out by defining “1” and then we spent the entire semester doing proofs of elementary school mathematics. One of the most fun and memorable math classes of my life, tbh.

It’s like trying to prove 1+1=2

300 pages of Principia Mathematica has entered the chat

I presented the proof for an assessment in an algebraic topology course.

I feel like I remember this from a small textbook I read a quarter century ago.

Well, the first part.