Looks like you're already way ahead of me. Anyway, no doubt Bruno will explain.
On 15 May 2014 14:50, Dennis Ochei <[email protected]> wrote: > I figured PA was either Peano or Presburger Arithmetic. I'm used to seeing > ZFC but not ZF by itself. The other three are total mysteries to me > > > On Wednesday, May 14, 2014, LizR <[email protected]> wrote: > >> On 15 May 2014 14:26, Dennis Ochei <[email protected]> wrote: >> >>> G*, G, arithmetical hypostases, PA, ZF? >> >> >> PA is Peano Arithmetic and ZF is Zermelo–Fraenkel set theory. >> >> (Whatever they are!) >> >> Just to prove I've managed to learn *something* while I've been here. >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "Everything List" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/everything-list/S5Qi3Q_2TTI/unsubscribe >> . >> To unsubscribe from this group and all its topics, send an email to >> [email protected]. >> To post to this group, send email to [email protected]. >> Visit this group at http://groups.google.com/group/everything-list. >> For more options, visit https://groups.google.com/d/optout. >> > > > -- > Sent from Gmail Mobile > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
