From wordpress.com
What is a “structure” in Mizar?
1 1
We saw how Mizar formalizes, e.g., Groups using structures. We also saw that Mizar’s set theoretic foundations includes an axiom asserting all objects are sets. So is a Group a set, or not? A…
#logic #mizar #isabelle #mathematics #modeltheory #model_theory #proofassistant
11h ago