„Peano-aritmetika” változatai közötti eltérés

=
[nem ellenőrzött változat][nem ellenőrzött változat]
(=)
== Peano-aritmetika ==
 
A '''Peano-aritmetika''' a [[természetes számok]] egy [[elsőrendű logika|elsőrendű (axiomatikus) elmélete]], melyet [[Giuseppe Peano]] olasz matematikus 1889-ben vezetett be. jel: '''PA'''