Natural NumbersCovers the concept of natural numbers, including properties like commutativity and associativity.
Relations, Sequences and SummationsCovers strings, countable sets, cardinality, and the concept of countability, exploring the countability of various sets and Cantor diagonalization.
Basic PropertiesCovers basic properties of natural numbers, including order relations and inverses.