「ブログ・エントリーのための覚え書き」(id:khideaki:20080928:1222593261)について、「あかんでしょ」と書いた(id:wd0:20080930:b)直後に、あちらのほうで、「うまい説明とは(id:khideaki:20081003:1222993885)」「形式システムにおける証明の概念(id:khid…