All Questions
Tagged with first-order-logic recursion
1
question
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 ...