Már az ókorban törekedtek a matematikai ismeretek deduktív módon való felépítésére. Arra, hogy minden állítást bizonyítani kell. Az egyes állítások igazolásánál nem szabad felhasználni csak már korábban bizonyított tételt. Ez az út elvezetett a legegyszerűbb elemi állításokhoz, az axiómákhoz, amelyek bizonyítása már nem lehetséges. Ezen axiómák megfogalmazására először még azTovább