I would like to pose two (not so distinct) questions.

  1. Are there any resources/references for Tarski-Grothendieck (TA) axiomatic set theory? I am asking because I constantly run into the Wikipedia article and nothing else.

  2. I have read that both TA and Neuman-Barneys-Goedel (NBG) leave a "window" open for the category theory (CT). But what about those attempts from the camp of CT to provide an axiomatic system without the need for the set?

I would appreciate any sharp reference regarding TA, NBG, and CT.

  • $\begingroup$ What sort of resources are you looking for in (1)? $\endgroup$ – Asaf Karagila Aug 17 '17 at 13:48
  • $\begingroup$ I am looking for fundamental stuff, like e.g., the TA system itself. $\endgroup$ – Georgios Aug 17 '17 at 16:56
  • 1
    $\begingroup$ You can find the original paper from the Mizar system somewhere on the web. I think there should be a reference in the Wikipedia page. $\endgroup$ – Asaf Karagila Aug 17 '17 at 16:58
  • 5
    $\begingroup$ You are asking two questions. You should make two separate posts. $\endgroup$ – user14972 Aug 18 '17 at 14:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.