Clarify where various axioms "live" #179

Open

Labels

opened

For example, Axiom of Choice is in ZFC while the Axiom of Induction is part of the Peano axioms.

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests