>>598
形式的証明にこだわるのは変だとは思うし、597の「真」の定義というのは所詮
数学的定義だから、いわゆる「真」ではない。しかし、チミはなにがいいたい
わけ。ご高説を滔々と述べられたらいかがですか。