数理論理学の基礎の概要に、追記しました
追記の内容:
筆者からの警告: 特に,『形式的体系内部における議論と形式的体系外部における議論 (形式的体系を研究対象として扱う超数学としての議論) の区別が必要不可欠』という文章をお読みになられて, その意味するところを深く理解・認識できない人は, 本書をお読みになられても, 本書の本文に於いて厳密な定式化が行われているという事実を理解することは全く不可能であるので, 本書をお読みになることは, おやめになられた方が賢明である.
文責: Dr. 加藤木 一好