Finitism Theistic finitism Matthias Schirn Ultrafinitism Jean Paul Van Bendegem Universe (mathematics) Urelement Temporal finitism Actual infinity Equinumerosity Divine Proportions: Rational Trigonometry to Universal Geometry Controversy over Cantor's theory Gentzen's consistency proof Supertask Intuitionism Goodstein's theorem Ordinal analysis History of logic Brouwer–Hilbert controversy Heaven's Gate (religious group) Philosophy of mathematics Georg Cantor A Treatise of Human Nature