bn:02862916n
Noun Concept
JA
定理  理論
EN
In mathematical logic, a theory is a set of sentences in a formal language. Wikipedia
English:
mathematical logic
logic
model theory
Relations
Sources