1 0 こさの人き補は「ま
7
-関する条人 8
(G) 命題 ららの の ee そteen O とする Co
導
ある。 半仙であるこ ee |選Sles
(2) 命題「ゥ三2」が真でぁ
ー るこ 0 さ
思 皇多/e還リルタに(に ya RBCe
K(3 ででの自然色が条
成り立つこ とは同じで
還還人0e | に当てはまるものぁゃ
の 0⑩-⑯ の
了あに| , 同じものを繰り返し選んでもよい。 うちから一つずっ
還唐| 0 /5O 6 ちっ6o
茹還5貞であることは, 0CP (⑪) と同じ。
蘭N@あることは, CO (⑧) と同じ。
串$も真であるから, 0とP (⑳) と同じ。
了呈あ またはog」を満たすことは
馬仙の王の が成り立つことと同じで
0 と同じ。