Note: Full functionality of this website requires JavaScript to be enabled in your browser.

# Formal papers related to questions about infinity

This page lists formal papers that are relevant to questions of infinity, transfinity, etc.

English Translation of Cantor’s 1874 Proof of Non-Denumerability (html)

English Translation of Cantor’s 1874 Proof of Non-Denumerability (PDF)

König - On the foundations of set theory and the continuum problem

On Considerations of Language in the Diagonal Proof (PDF)

previous v1: On Considerations of Language in the Diagonal Proof (PDF)

On the Reality of the Continuum and Russell’s Moment of Candour (PDF)

On Smith-Volterra-Cantor sets and their measure (PDF)

previous v2: On Smith-Volterra-Cantor sets and their measure (PDF)

previous v1: On Smith-Volterra-Cantor sets and their measure (PDF)