1 paper · 1 filter
Steven Kieffer, Jeremy Avigad, Harvey Friedman
We argue that the language of Zermelo Fraenkel set theory with definitions and partial functions provides the most promising bedrock semantics for communicating and sharing mathema…