定理1.20 32項 ：自由変項の閉区間 とする．このとき，上のの値域はである．但し を表す． (証明) に対してである．このとき ∧ i.e. (∧-除去) i.e. < ∨ < (仮定) (選言三段論法) 同様にして したがって を得る．同様にしてについても である．これより s.t. …