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

13h ago