Thank everybody for answering my previous questions: first, and second.
Here I would like to ask about some important thing which I do not understand clearly.
- Is it necessary for theory to have given interpretation in some universe by definition or not, it is not necessary for set of axiom to be a theory?
The meaning of question above is: is this a correct way of defining theory if we do not give domain of interpretation for it? What obstacles may arise from that? For example: As far as I know standard category theory do not qualify clearly which is its domain of interpretation, then, may we say that it is "defined theory" from a formal point of view? I have heard that there are some efforts to define category theory by means of metacategories which probably has as one of its aims to give clear definition of domain of interpretation.
So there another question arises for which I will try to give some introduction by example.
I may think about theory which when interpreted in set universe defined by some formulas, relations whatever may be consistent and have models, whilst in other universes do not. Is this a case? For example in answer about possible definition of domain of discourse for first order theories here Joel David Hamkins wrote: "If V is the universe of all sets, we can define certain classes in V, such as { x | φ(x) }, where φ is any property."
What if $\phi(x)$ is not property from first order logic?
For example we may consider sentence $S= \{x | \phi (x) \}$ as meaning:"for every theory x when schema of axioms of induction is present in axiom set". It is clearly not first order sequence, so maybe model which is interpreted in such universe is not first order model even if axiom of theory forms first order set? The only difference here is in a way we introduce a domain of interpretation so maybe this level of freedom is too much?
Usual definition of domain of interpretation which I have found in wikipedia here uses set "structure" but not state clearly that domain of discourse has to be first order set from the beginning! It is something which is not clear for me here. Should I believe that some "interpretations" of theory may be inconsistent whilst other may be consistent when we drop interpretation part as a definition and we leave it free?
- If we construct theory in first order logic ( for example as in my second question), and then we will try to use it on domain of objects defined by means of higher order logic, do we end with higher order theory, or rather first order theory which is saying something about second order logic objects? Or maybe the answer is" "it depends" and there should be stated additional requirements?
I have hope it is no obviously wrong question...
As I do not want to be found very speculative, I will point to blog of Terence Tao here where You may find some information about nonfirstorderisability and specially this sentence:
which is part of the fundamental theorem of linear algebra, does not seem to be expressible as stated in first order set theory
So there are pretty useful practical statement, not very abstract, in normal mathematics which cannot be expressed in first order theory language.