√2が無理数であることの構造

とする．このときが無理数であることを示せ．

(設計)

と置く．より成り立つ．

(仕組)

　i.e.　

による．設計ではとあるが，このかたちをそのまま用いることはない．それが人工言語と自然言語との違いだと思われる．▢