Category:Axioms/Named Axioms/Bernays

From ProofWiki
Jump to navigation Jump to search

This category contains axioms or axiom schemata named for Paul Isaac Bernays.

Swiss mathematician who worked mainly in mathematical logic and axiomatic set theory.

This category currently contains no pages or media.