Ši programa suteikia trumpą įvadą į šiuolaikinės matematikos pamatus. Pagrindinis dėmesys skiriamas griežtam apibrėžimų, argumentų, įrodymų ir kt. Nagrinėjimui
1. Kas yra matematika
2. Logika kaip pagrindas matematikos
3. Sąvokų vaidmuo
4. Axiomatic teorijos šiuolaikinės matematikos
5. Rinkiniai
6. Komplektacijų kūrybiškumas
7. Pastabos apie apibrėžimus ir įrodymus
Pasiūlymai ir pastabos yra sveikintinos. Parašykite jas adresu univrmaths@gmail.com.