Category:Axioms/Named Axioms/Aczel

From ProofWiki
Jump to navigation Jump to search

This category contains axioms or axiom schemata named for Peter Henry George Aczel.

British mathematician and logician known for his work in non-well-founded set theory, constructive set theory, and Frege structures.

This category currently contains no pages or media.

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Axioms/Named_Axioms/Aczel&oldid=581560"