Teorem: En matematisk påstand og et tilhørende bevis.
Kommer i flere kategorier:
Lemma: Brukes til å vise andre teoremer
Proposisjon: Et “ikke fullt så viktig” teorem
Korollar: setning som utledes fra teorem Teorem som følger fra annet teorem.
Definisjon: beviser ingenting, introduserer nye begreper
Mengder: samlinger av matematiske objekter.
Mengder
Se over eksemplene og regn oppgaver.