set of types, set of formulas
Nov. 22nd, 2014 09:57 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
juan_gandhiWhy t.f. are they all called sets, in the casual speak? Could be as well lists, right? We know what a list is. Nowhere in logic anybody applies comprehension or foundation or choice axioms to the "sets of formulas"; they also don't have to be infinite. If they are, we need to specify, what kind of infinity.
