> There are "class variables" (called "set" denoting possibly infinite sets of natural numbers)
It's true. There are also class variables. So I'm wondering how to do to get a system close to what Mr Väänänen had in mind. A system without class variables ? -- FL -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/38028516-fe85-4dd7-9e7d-59d311c1d9f3%40googlegroups.com.
