Wielu matematyków, w pewnym momencie, zadaje sobie pytania w stylu ,czym jest trójkąt?', albo ,czym jest liczba 42?'. Aż do końca XIX wieku odpowiedzi na te pytania były raczej pokrętne i niejasne. Zmianę przyniosły prace Georga Cantora, w których położył on podstawy dla nowego działu matematki - teorii mnogości. W ciągu kolejnych kilkudziesięciu lat okazało się, że w ramach teorii mnogości można zdefiniować w zasadzie całą matematykę.
