Up
5.4 “論理体系”
理論
T
が理論
T
′と同型な部分をもつとき，
“
T
は
T
′を論理としてこれに従う理論である”
と言うことにする。
この言い回しにおける“論理”が，“理論”の意味で“論理体系”の語を用いるときの“論理”に対応している。
理論を“論理体系”と見なすときの“論理”は，一意ではない。特に，理論
T
は，それ自身を論理としてこれに従う理論である。