Category:Gödel-Bernays Axioms

From ProofWiki

Jump to: navigation, search

For a full definition of the Gödel-Bernays Axioms, see this page.

Pages in category "Gödel-Bernays Axioms"

The following 4 pages are in this category, out of 4 total.

C

Axiom:Class Comprehension Schema

E

Axiom:Axiom of Extension (Classes)

F

Axiom:Axiom of Foundation (Classes)

L

Axiom:Axiom of Limitation of Size

Retrieved from "http://www.proofwiki.org/w/index.php?title=Category:G%C3%B6del-Bernays_Axioms&oldid=57209"

Axioms/Set Theory

Personal tools

Log in / create account

ProofWiki.org

ToDo

Toolbox

Google AdSense