Bestaat er dan overigens oneindigheid
Er bestaan 2 soorten oneindigheid: oneindigheid als een proces, ook wel potentiële oneindigheid genoemd, en oneindigheid als iets voltooids, ook wel actuele oneindigheid genoemd. Een voorbeeld van een potentiële oneindigheid is het systematisch doorlopen van de verzameling natuurlijke getallen door bij ieder natuurlijk getal 1 op te tellen, wat de opvolger van dat natuurlijke getal geeft. Een voorbeeld van een actuele oneindigheid is de verzameling van de natuurlijke getallen zelf, die een oneindig aantal elementen bevat. Stel namelijk dat deze verzameling slechts een eindig aantal elementen bevat, zeg n, dan is er een opvolger van n aan te wijzen door hier 1 bij op te tellen, wat dus tot een tegenspraak leidt. Algemeen definieert men: A is een eindige verzameling als er een natuurlijk getal n te vinden is met de eigenschap dat het aantal elementen van a kleiner is dan n. Als zo'n n niet te vinden is, dan is A een oneindige verzameling.
"Mathematics is a gigantic intellectual construction, very difficult, if not impossible, to view in its entirety." Armand Borel