„Természetes számok” változatai közötti eltérés

[ellenőrzött változat][ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
0 forrás archiválása és 1 megjelölése halott linkként. #IABot (v2.0beta15)
→‎A természetes számok a halmazelméletben: Rossz helyen lévő szóköz áthelyezve
Címkék: Mobilról szerkesztett Mobil web szerkesztés
61. sor:
 
== A természetes számok a halmazelméletben ==
A Peano-aritmetika halmazelméleti modelljének nevezzük az olyan (N, 0,' ',+ +, <math>\cdot</math>) rendezett 5-öst, ahol ''N'' halmaz, 0 ∈ N, ' :N<math>\rightarrow</math> N függvény, +:N <math>\times</math> N <math>\rightarrow</math> N, és <math>\cdot</math>:N <math>\times</math> N <math>\rightarrow</math> N pedig művelet, melyekre teljesülnek a '''PA''' rendszer axiómái.
=== Standard modell ===
A természetes számok halmazelméleti modelljeként kiválóan megfelel a