Aanzet:
(1) DEFINITIE. Definieer " ... an ... a3a2a1a0 " als de functie van N naar R met:
\( [ ... a_n ... a_3a_2a_1a_0 ](m) = \sum\limits_{i=0}^m \, a_i \, 10^i \)
De aldus gedefinieerde getallen noemen we primitieve linkse getallen, en de verzameling der primitieve linkse getallen geven we weer als \( \mathbb{P} l \).
De eerste vraag die zich nu opdringt is welke primitieve linkse getallen we als even groot gaan rekenen. Deze keuze moet zo zijn dat er een elegant en intuïtief aansprekend getallenstelsel ontstaat. Zo'n keuze is deels een subjectieve kwestie maar niet helemaal. Immers ontstaat er vaak binnen de wiskundige gemeenschap na een periode van zoeken een redelijke mate van overeenstemming over de geëigende aanpak van wiskundige vraagstukken. We zoeken nu dus een elegante en intuïtief aansprekende equivalentierelatie op \( \mathbb{P} l \).
(Dit topic dient geen enkel praktisch en/of economische doel, maar is enkel bedoeld als een vorm van recreatieve wiskunde.)
