Cette séance de cours couvre les bases des preuves, y compris la définition des ensembles, des entiers positifs et non négatifs, et la division avec le reste. Il explore également la théorie des ensembles, les axiomes et les applications entre les ensembles, en se concentrant sur les fonctions injectives, surjectives et bijectives.