Od zasnivanja na Kantorovoj teoriji skupova je prošlo mnogo više od nekoliko decenija. Danas se matematika yasniva na aksiomatskoj teoriji skupova. Najrasprostranjeniji sistem aksioma teorije skupova je ZFC (Cermelo Frankelova sistem).
Matematika tvrdi da u svakom modelu svake matematičke teorije (znači, pri svakoj interpretaciji polaznih pojmova te teorije pri kojoj važe sve njene aksiome) važe sve teoreme te matematičke teorije.
Kada primenjuješ matematiku, ti koristiš neku konkretnu interpretaciju polaznih pojmova neke matematičke teorije. Matematika ne tvrdi da će u toj interpretaciji obavezno važiti aksiome te teorije, već da ako one važe, onda da moraju da važe i sve teoreme te teorije. Provera da li aksiome te teorije važe u toj interpretaciji ostaje na tebi.
Ukoliko tu matematičku teoriju primenjuješ van matematike, onda ta interpretacija nije matematička jer povezuje matematičke i nematematičke pojmove, pa se ta provera ne može vršiti matematičkim sredstvima.