Určite ste si už povedali pred písomkou: „Nič neviem.“ Každý
intuitívne vie, že to znamená som dutý ako bambus a dostanem
zlú známku. Ale keby sme túto vetu dali rozobrať a analyzovať
nejakému stroju, postupoval by tak, že „nič“ predstavuje
prázdnu množinu a vlastne je prázdna množina toho čo
neviem, čiže viem všetko. Tu vidíme, že máme dve rôzne
interpretácie jednej jednoduchej vety. V matematike sa tomu
chceme vyhnúť a núka sa k tomu matematická logika, ktorá nás
vovedie do sveta „kryštálovej“ jasnosti reči. Tiež pozrieme sa na
spôsob uvažovania, ktorého správnosť overuje vlastne
matematická logika.