VON NEUMANN’S CONSISTENCY PROOF
scientific article; zbMATH DE number 6724398