σ ＜　はじめに言葉ありきと言うけど
　(V)　　　　有限個の正しいと認める前提を採択するしかない
　 ||　　　　　それらを前提にした系では真偽の決定できない命題が存在する
　　　　　　　このことは前世紀の学問成果の一つだ
　　　　　　　はじめにお偉いさんが準備した教えでは
　　　　　　　決めかねる事態が生じるって事ですな