Lectures related to Set-theoretic definition of natural numbers

Least Common Multiple: Basics

Explains the concept of the least common multiple for two natural numbers.

Understanding Equivalence Relations and Integer Construction

Covers the construction of integers through equivalence relations and their properties in mathematics.

Recursively Defined Sets and Structures

Explores recursively defined sets, natural numbers, strings, functions, and propositional logic formulae.

Recurrence: Induction

Covers the principle of induction for natural numbers and the importance of caution in its application.

Sequences and Convergence: Understanding Mathematical Foundations

Covers the concepts of sequences, convergence, and boundedness in mathematics.

Proofs by Induction: Principles and Examples

Explains the induction principle and proofs by induction with examples like 1 + 3 + 5 + ... + (2n-1) = n².

Philosophy of Mathematics: Ontology and Structures

Explores the existence of mathematical objects, truth of propositions, and knowledge about them, covering Platonism, Intuitionism, Structuralism, Nominalism, Logicism, and Formalism.