Denne appen gir en kort introduksjon til grunnlaget for moderne matematikk. Det legges vekt på streng behandling av definisjoner, argumenter, bevis osv. Emnene er dekket
1. Hva er matematikk
2. Logikk som grunnlag for matematikk
3. Definisjonens rolle
4. Aksiomatiske teorier i moderne matematikk
5. Setter
6. Kardinalitet av sett
7. Merknader om definisjoner og bevis
Forslag og kommentarer er velkomne. Skriv dem på univrmaths@gmail.com.