変数 (∀-除去) s.t. ． 但し， メタ視点： 記号の意味としては である．または述語の集まりだが，これをクラスといい，単純なクラスは集合と考えてよい．なぜなら，単純なクラスもまた，ものの集まりであるからである．そして，「s.t.」ということは，いくら…

連立不等式 例題30 〔1〕 64項 (∀-除去) s.t. > の解を示す． (解答) 1 (1) > 仮定 1 (2) 1.∧-除去 i.e. i.e. 1 (3) > 1.∧-除去 i.e. > 1 (4) < 2.換言 5 (5) < 仮定 i.e. 5 (6) 5.∧-除去 1,5 (7) < 4,6.三段論法 1 (8) 3.換言 1 (9) 8.∧-除去 i.e. > 1 (10)…

三者択一の法則 実数体の性質として，三者択一の法則は認められるが，しかし，これが複素数体のときや，より一般の順序集合で認められるのかは，まだわからないので便宜的に実数の性質ということにする．さて，三者択一の法則とは (∀-除去) s.t. < > の何れ…

すなわち (∀-除去) s.t. とする．このとき，このような不等号の関係は < に帰結する，ことを示す． (証明) 1 (1) 仮定 i.e. < 2 (2) < 仮定 i.e. 2 (3) 2.∧-除去 1,2 (4) < 1,3.三段論法 (5) < 1-4.∨-除去 (6) < 5.∀-導入 もしも，(2)でを仮定すると，∨-導入…