Kapcsolódó témakörök: , , , ,

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

Kapcsolódó témakörök: ,

Peano 1889-ben jelentette meg az aritmetika alapjait jelentő axióma rendszerét. Alapfogalmak: A nulla, a nem negatív egész szám és az azt követő fogalmakat. Azaz a természetes számokat és a számlálást (rákövetkezést) alapfogalomnak tekintjük. Így 5 axióma (alapállítás) vált szimbólumokkal is leírhatóvá: Axiómák: A nulla szám. Ha a szám, akkor azTovább