Inhoud.
Is
onderverdeeld:
1 Inleiding.
2 Uitgangspunt.
3 Samenvatting.
4 Onderbouwing.
5 Bijlagen.
1 Inleiding.
Zie module:
o
Inleiding.
Deze module
gaat in op:
o
Alternatief
voor axioma’s Peano-Dedekind.
Dit omdat op
vijf verschillende wijze is aangetoond dat getal nul uitsluitend een rekengetal
is [door AI getoetste module ‘Getal nul - Reken- of Telgetal’]. Hiermee staan
de axioma’s van Peano – Dedekind onder druk. Een neomodern wetenschappelijk
alternatief is dan ook gepast.
2 Uitgangspunt.
Niet van
toepassing.
3 Samenvatting.
3.1 Algemeen.
De axioma’s van
Peano-Dedekind zijn overbodig.
Voor
alternatief geldt:
1 Voor elk even opvolgend getal(+óf-)
geldt: is niét neutraal.
Toelichting:
o Vervangt de noodzaak voor de
specificatie van afzonderlijke eigenschappen van opvolgers in de reeksen van
Peano, omdat het geldt voor beide gevallen (positief en negatief).
2 Voor elk oneven opvolgend getal (+óf-)
geldt: is niét neutraal.
Toelichting:
o Elimineert de noodzaak voor verdere
axioma's die afzonderlijk voorkomen bij elke soort van opeenvolging (positieve
of negatieve) verschillend.
3 Voor elk getal ≠ 0 geldt: is niét
neutraal.
Toelichting:
o Generaliseert de eigenschap van
niet-neutraliteit, ongeacht of het getal even of oneven is. Het geldt ook elke
soort van opeenvolging (positieve of negatieve) verschillend.
4 Voor elk getal = 0 geldt: is wél
neutraal.
Toelichting:
o Reserveert de neutralisatie-eigenschap
expliciet alleen voor nul, verduidelijkt en beperkt naar concrete toepassingen
specifieke minimum context doeleinden.
3.2 Conclusies.
Niet van
toepassing.
4 Onderbouwing.
…a
= Als waar is.
…i
= Is ook waar.
1a Voor getal(+óf-)
geldt: Is niét neutraal.
Toelichting:
o 1.1a Voor getal(+óf-) geldt: (+),
(-) is ruimtelijk gescheiden op rekengetallenlijn.
o 1.2i Voor getal(+én-) geldt: (+), (-)
is ruimtelijk samengevoegd op rekengetallenlijn.
o
o 1.3a Voor getal(+én-) geldt: er is
hiervan één (getal nul) op rekengetallenlijn.
o 1.4i Voor getal(+óf-) geldt: er
is hiervan meerdere op rekengetallenlijn.
2i Voor getal(+én-)
geldt: Is wél neutraal.
3a Voor oneven opvolgend geldt:
Is 1, 3 ….
4i Voor even opvolgend getal
geldt: Is 2, 4 ….
1a Voor getal(+óf-) geldt: Is niét neutraal.
3a Voor oneven opvolgend getal geldt: Is 1, 3
….
5i Voor oneven opvolgend getal(+) geldt: Is
niét neutraal.
5a Voor oneven opvolgend getal(+)
geldt: Is niét neutraal.
4a Voor even opvolgend getal geldt: Is 2, 4 ….
6i Voor even opvolgend getal(-) geldt:
Is niét neutraal.
1a Voor getal(+óf-) geldt: Is niét neutraal.
3a Voor oneven opvolgend getal geldt: Is 1, 3 ….
7i Voor oneven opvolgend getal(-) geldt: Is niét neutraal.
7a Voor oneven opvolgend getal(-)
geldt: Is niét neutraal.
4a Voor even opvolgend getal geldt: Is 2, 4 ….
8i Voor even opvolgend getal(+) geldt:
Is niét neutraal.
8a Voor even opvolgend getal(+) geldt: Is niét neutraal.
5a Voor oneven opvolgend getal(+) geldt: Is niét neutraal.
6a Voor
even opvolgend getal(-) geldt: Is niét neutraal.
7a Voor oneven opvolgend getal(-) geldt: Is niét neutraal.
9i Voor zowel even als oneven opvolgend getal(+óf-)
geldt: Is niét neutraal.
Toelichting:
o
Maakt
axioma 1…8 van Peano – Dedekind overbodig.
o
Dit
omdat:
o
9.1a Voor zowel even als oneven getal ≠ 0 geldt: is niét neutraal.
o
9.2i Voor getal ≠ 0 geldt: is niét neutraal.
o
o
9.2a Voor getal ≠ 0 geldt: is niét
neutraal.
o
9.3i Voor getal = 0 geldt: is wél
neutraal.
10a Voor getal k(+), k+1(+) …
geldt: Is zowel reken- als telgetal.
11a Voor getal k(-) geldt: Is rekengetal.
12i Voor getal k(-), k+1(-) …
geldt: Is uitsluitend rekengetal.
Toelichting:
o Maakt axioma 9 van
Peano – Dedekind overbodig.
o Dit omdat:
o 12.1a Er is getallenreeks k(-), k+1(-) ….
o 12.2a Er
is één empirisch bewezen centrale Natuurwet.
o 12.3i Er is getallenreeks
k(+), k+1(+) ….
5 Bijlagen.
Geen.