Machine Logic

At the junction of computation, logic and mathematics

Tag: axiom of choice

Is Zermelo-Fraenkel set theory the foundation of mathematics? (26 Jan 2022)
Intuitionism and constructive logic (24 Nov 2021)
The axiom of choice and descriptions (10 Nov 2021)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS