„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
→Neumann János modellje: A valós számok részhalmaza |
|||
110. sor:
A konstrukció további folytatása, illetve további megelőző számok nélküli számok definiálása a rendszámokat hozza létre.
==A valós számok részhalmaza==
A természetes számok definiálhatók induktívan, a valós számok közül kiválasztva.<ref>Martin Barner, Friedrich Flohr: ''Analysis I.'' Walter de Gruyter, Berlin 2000, ISBN 978-3110167795, S. 21–23.</ref>
A valós számok egy <math>M</math> részhalmaza induktív, ha teljesíti a következőket:
# 0 eleme <math>M</math>-nek
# Ha <math>x</math> eleme az <math>M</math> halmaznak, akkor <math>x+1</math> is eleme az <math>M</math> halmaznak.
Ekkor <math>\N_0</math> az <math>\R</math> induktív halmazainak metszete.
== Jegyzet ==
|