I've started trying to deduce this bunch of things myself yesterday. It felt and still feels perfect, comprehension has become better.
The section I've just read has introduced functions. This feels pretty functional itself lol. Haskell just hit me again.
And it finally started introducing naturals.
Yes, I know it, set theory is, in fact, able to express naturals in a fascinating way. That's pretty captivating.
— Mar 03, 2026 02:32AM
Add a comment