Any theory hence set theory as well, has to be written in a concise logical manner. Hence logic should come first. On the other hand, first order logic, is a set of constants, a set of variables, etc... hence set theory should come first. What do you think?
Asked
Active
Viewed 782 times
2
-
1Every theory must be written in some language, hence we first need to be able to speak of finite length strings over a finite alphabet, and how to manipulate these ... – Hagen von Eitzen Jun 16 '19 at 14:36