Tato aplikace poskytuje stručné úvod do základů moderní matematiky. Důraz je kladen na důsledné zacházení s definicemi, argumenty, důkazy apod
1. Co je matematika?
2. Logika jako základ matematiky
3. Role definic
4. Axiomatické teorie v moderní matematice
5. Nastavuje
6. Kardinálnost sad
7. Poznámky k definicím a důkazům
Návrhy a připomínky jsou vítány. Napište je na adresu univrmaths@gmail.com.
Datum aktualizace
9. 3. 2023