Skip to main content

All Questions

1 vote
2 answers
304 views

What is the meta-language of ZFC?

This is a good post which says that all proof assistants are founded in HOL, first order logic, or dependent types. Does this mean that the axioms of ZFC are just expressions obtainable from the ...
Julius Hamilton's user avatar