Set-Theoretical Science-Fictions and

Video-Games
Edouard G. Belaga
July 17, 2020

Abstract
Georg Cantor was the genuine discoverer of the Mathematical In-
finity, and whatever he claimed, suggested, or even surmised should
be taken seriously – albeit, with time, not necessary at its face value.
Because alongside his exquisite in beauty ordinal construction and his
fundamental powerset description of the continuum, Cantor has also
left to us his obsessive presumption that the universally overpresent
universe of (transfinite) sets should be subjected to laws transfinitely
similar to those governing the set of natural numbers. During the last
hundred years, the mainstream set- and proof-theoretical research – all
insights and adjustments due to Kurt Gödel’s, Gerhard Gentzen’s, and
Paul Cohen’s revolutionary discoveries notwithstanding – were compli-
antly centered on ad hoc axiomatizations of Cantor’s Vorstellungskraft
of this universal transfinite design. We believe, however, that the on-
tological and epistemic sustainability of this design was from the very
beginning irremediably compromised by the underlying peremptory
Reductionist mindset of the old Laplacian ideology of science.
The ontological set-theoretical error is the presumption that Math-
ematics is ontologically pristinely free, and that the newly invented,
most primitive mathematical appellation set is the most universal
mathematical notion ready for all imaginable axiomatizations. Epis-
temic mistake is the naïve assumption that the fundamentally unpre-
dictable and never completing processes of the creation of, and the
search for, countable ordinals could be finally interpreted as a set, too.
This does not mean that D. A. Martin’s and W. Hugh Woodin’s set
theory is formally mistaken. Still, it is not Mathematics but a mathe-
matical science fiction: mathematical languages, proofs and decision-
makings are developed so far and are so rich, that along authentic
researches of Mathematical Reality there exist today some amazing,
literate and laboriously created “mathematical science-fiction novels”.