fl requested that I post this. Norm
-------- Forwarded Message -------- Subject: e. un the contexr of fol or sol + Peano Resent-From: nm Date: Sun, 15 Mar 2020 16:27:03 +0100 (CET) From: fl To: Megill, Norman Hi Norm, I'm explorating the Peano axioms in the context of first or second order logic. Peano uses a "e." symbol to express phrases like "x e. NN", "x is a number". There was no set theory intent in his m'indiquer. So I'd like to reuse the material in set.mm related to e., class variables, class builder. They are in the set theory part, but it seems to me they don't use any set theory axiom. Could you post this message for me. Due to quarantine, I no longer have access to my usual computers and my Google account is no longer available. And maybe you can also answer if you want. -- 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/11cdad8c-f77f-4d65-9f94-fbec7a20e7db%40googlegroups.com.
