Is ZF a hack? Comparing the complexity of some (formalist interpretations of) foundational systems for mathematics
scientific article; zbMATH DE number 5128353