At Once Infinite
Diagonal Proof
Infinite Totality
Successive Infinite



The focus of this article is the rise of modern set theory which, according to Meschkowski, coincides with the first proof given in 1874 by Cantor of the non-denumerability of the real numbers. Later on he developed his well-known diagonal proof, which occupies a central position in this article. The argument of this article is directed towards the implicit supposition of the diagonal proof, to wit the acceptance of the actual infinite (preferably designated as the at once infinite). Without this assumption no conclusion to non-denumerability is possible. Various mathematicians and mathematical traditions of the twentieth century questioned the use of the actual infinite. A closer investigation is conducted in respect of two opponents of the actual infinite, namely Kaufmann and Wolff. The circular reasoning contained in their approach is highlighted and as alternative a non-circular understanding of the at once infinite is explained. At the same time the assumed exact nature (and neutrality) of mathematics is questioned (in the spirit of „Koers? as a Christian academic journal). This contemplation disregards the question of what mathematics is (for example by including topology, category theory and topos theory), which would have diverted our attention to contemporary views of figures such as Tait, Penelope and Shapiro who, among others, acts as the editors of and contributors to the encompassing work „Handbook of Philosophy of Mathematics and Logic? (2005).

Copyright information

  • Ownership of copyright in terms of the Work remains with the authors.
  • The authors retain the non-exclusive right to do anything they wish with the Work, provided attribution is given to the place and detail of original publication, as set out in the official citation of the Work published in the journal. The retained right specifically includes the right to post the Work on the authors’ or their institutions’ websites or institutional repository.

Publication and user license

  • The authors grant the title owner and the publisher an irrevocable license and first right and perpetual subsequent right to (a) publish, reproduce, distribute, display and store the Work in  any form/medium, (b) to translate the Work into other languages, create adaptations, summaries or extracts of the Work or other derivative works based on the Work and exercise all of the rights set forth in (a) above in such translations, adaptations, summaries, extracts and derivative works, (c) to license others to do any or all of the above, and (d) to register the Digital Object Identifier (DOI) for the Definitive Work.
  • The authors acknowledge and accept the user licence under which the Work will  be published as set out in https://creativecommons.org/licenses/by/4.0/ (Creative Commons Attribution License South Africa)
  • The undersigned warrant that they have the authority to license these publication rights and that no portion of the copyright to the Work has been assigned or licensed previously to any other party.

Disclaimer: The publisher, editors and title owner accept no responsibility for any statement made or opinion expressed by any other person in this Work. Consequently, they will not be liable for any loss or damage sustained by any reader as a result of his or her action upon any statement or opinion in this Work. 
In cases where a manuscript is NOT accepted for publication by the editorial board, the portions of this agreement regarding the publishing licensing shall be null and void and the authors will be free to submit this manuscript to any other publication for first publication.

Our copyright policies are author-friendly and protect the rights of our authors and publishing partners.