Peano-axiómák
Magyar
Kiejtés
- IPA: [ ˈpɛɒnoɒksijoːmaːk]
Főnév
- (matematika, logika)
- – A nulla semminek sem rákövetkezője.
- – Amiknek a rákövetkezői is azonosak, azok maguk is azonosak. (Azaz injektív.)
- – A nullával jobbról való összegzés hatástalan. (Azaz a nulla jobb oldali additív neutrális elem.)
- – a rákövetkezővel való összegzés visszavezethető az összeg rákövetkezőjére.
- – A nullával jobbról való szorzás nullát ad.
- – A rákövetkezővel való szorzás visszavezethető a másik tagnak az szorzathoz való még egyszeri hozzáadására.
- – A teljes indukció axiómasémája: Ha a formula igaz a nullára, továbbá a formula igazsága a rákövetkezés során öröklődik, akkor ez a formula minden számra igaz.
Fordítások
Tartalom