„Peano-aritmetika” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
aNincs szerkesztési összefoglaló |
Syp (vitalap | szerkesztései) iw |
||
1. sor:
= 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'''
==Peano
A Peano-aritmetika nyelve a következő nem logikai jeleket tartalmazza:
14. sor:
Ezen a nyelven felírt elsőrendű formulákat nevezzük Peano-fomuláknak.
==Peano
# A nulla senkinek sem a rákövetkezője. <center><math>\forall x \quad S(x)\neq0</math></center>
26. sor:
[[Kategória:Matematika]]
[[it:Aritmetica di Peano]]
|