• Het kunnen werken met propositionele formules
• Het kunnen bepalen van de geldigheid van propositionele formules m.b.v. waarheidstafels
• Het kunnen manipuleren van predikaatlogische formules
• Het kunnen opschrijven van een correct wiskundig bewijs
• Vertrouwdheid met de diverse vormen van wiskundige bewijzen
• Het kunnen werken met verzamelingen
• Het kunnen werken met functies en relaties, inclusief equivalentierelaties en ordeningen
• Bekendheid en vertrouwdheid met diverse soorten getallen
• Het kunnen voeren van inductiebewijzen
• Het kunnen werken met recursieve definities
• Vertrouwdheid met het begrip kardinaliteit, en het kunnen werken met oneindige verzamelingen

In dit college wordt een aantal elementaire onderwerpen behandeld die voor een verdere studie van de wiskunde onontbeerlijk zijn, en die dienen als voorkennis voor vrijwel alle andere wiskundevakken. Behandeld worden onderwerpen als formele taal, verzamelingen, functies en relaties, getallenstelsels, inductie, ordeningen, en kardinaliteit. De behandeling van deze onderwerpen is voornamelijk informeel, dat wil zeggen, niet-axiomatisch.