Which mathematical logic is the logic of mathematics?
scientific article; zbMATH DE number 6145484