youproof.orgDeep Math. Human Access.
  • Tudásbázis
  • Cikkek
  • Hírek
  1. Főoldal
  2. /Tudásbázis
  3. /Tételek
  4. /Rákövetkező elem közvetlenségi tétele

17.14. Lemma

Rákövetkező elem közvetlenségi tétele

Legyenek nnn és xxx a természetes számok N\NN halmazának tetszőleges elemei, és jelölje s(n)s(n)s(n) az nnn természetes szám 11.1. Definíció szerinti rákövetkezőjét. Ekkor tetszőleges xxx természetes szám esetén teljesülnek az alábbiak:

1.
Ha n<x≤s(n)n<x\leq s(n)n<x≤s(n), akkor x=s(n)x=s(n)x=s(n).
2.
Ha n≤x<s(n)n\leq x< s(n)n≤x<s(n), akkor x=nx=nx=n.

♣

  • ↓Alárendelt lap:Bizonyítás

Hol hivatkoznak rá

Kontextus

1. állítás

2. állítás

természetes szám

Peano-axiómarendszer

természetes szám rákövetkezője

A hivatkozások listájához JavaScript szükséges. Ugyanez igaz az egyes fogalmakra és állításokra szűkített listákra is.

  • 17. Alice és Bob ókori haverja
    • 17.5. A végtelen leszállás módszere
11.1. Definíció: Peano-axiómarendszer
11.1. Definíció: Peano-axiómarendszer
11.1. Definíció: Peano-axiómarendszer

Iratkozz fel a hírlevelünkre

  • Adatkezelési tájékoztató
  • Süti tájékoztató
  • Impresszum
  • Jogi nyilatkozat

© 2026 youproof.org — Minden jog fenntartva

v2.3.1