Strong Statements of Analysis
Examples are discussed of natural statements about irrational numbers that are equivalent, provably in ZFC, to strong set-theoretical hypotheses, and of apparently classical statements provable in ZFC of which the only known proofs use strong set-theoretical concepts.