Gödel's square axioms for the continuum
scientific article; zbMATH DE number 3453602