Theory (mathematical logic)

（重定向自Subtheory）

In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually a deductive system is understood from context. An element $\phi\in T$ of a theory $T$ is then called an axiom of the theory, and any sentence that follows from the axioms ( $T\vdash\phi$ ) is called a theorem of the theory. Every axiom is also a theorem. A first-order theory is a set of first-order sentences.

单词	Subtheory
释义	Subtheory 英语百科 Theory (mathematical logic) （重定向自Subtheory） In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually a deductive system is understood from context. An element $\phi\in T$ of a theory $T$ is then called an axiom of the theory, and any sentence that follows from the axioms ( $T\vdash\phi$ ) is called a theorem of the theory. Every axiom is also a theorem. A first-order theory is a set of first-order sentences.
随便看	spark at make contact的意思 spark ball的意思 spark ball electrode的意思 spark blow out的意思 spark blowout的意思 spark boot的意思 spark breakdown的意思 Sparkbrook的意思 spark button的意思 spark capacitor的意思 spark catcher的意思 Spark chamber的意思 spark chamber, acoustical的意思 spark chamber gamma camera的意思 spark chamber, optical的意思 spark chamber picture的意思 spark chambers的意思 spark channel的意思 spark character的意思 spark chronoscope的意思 spark chute的意思 spark circuit的意思 spark clearance的意思 spark coil的意思 sparkcoil的意思