1. insiemi, appartenenza, essere sottoinsieme, uguaglianza, insieme vuoto, singoletto, intersezione, unione, unione disgiunta, complemento, insieme potenza, separazione 2. riduzionismo agli insiemi. Esempio: numeri naturali 3. relazioni, funzioni, funzioni con dominio/codominio vuoto, arietà di funzioni 4. relazioni riflessive, simmetriche, transitive, relazioni d'ordine 5. relazioni di equivalenza, classi di equivalenza e partizioni, definizione di funzioni su classi di equivalenza 6. partizioni 7. cardinalità di un insieme 8. numeri naturali e cenni ai numeri reali