Introduction aux mathématiques/Présentation de la leçon

Il s'agit d'une leçon qui se veut être, comme son nom l'indique… une introduction aux mathématiques. On y présente les rudiments de logique, les concepts de base sur les ensembles (en préférant l'intuition à une rigueur extrême que l’on trouvera dans une vraie leçon d'axiomatique), les applications, les relations binaires — préalables à tous raisonnements mathématiques. Pour donner un peu de matière à la leçon, on introduit l’ensemble des entiers naturels et on montre ses premières utilités : récurrence et dénombrement.