まずは結論となる記号的構築を記述し,その後に解説を行うこととする. 1.記号的構築 記号A, B, Cを定義する.新たな記号( , )を定義する.これは2つの記号から新たな1つの記号を定義する函数である.これにより,(A, B)を定義する.記号 - を定義する.これは,2つの記号から新たな1つの記号を定義する函数である.ただし,定義不能な記号の組が存在しうるとする.これにより,(A, B) - Cを定義する.記号Bが記号Aについて整合的であるとは,(A, B) - Cが定義可能であることを意味する.記号列{Bn}, {Dn}を定義する.新たな記号[ , ]を定義する.これは,2つの記号から新た…