招待有り 2016年9月 不完全性定理と証明可能性述語について(特別講演) 日本数学会2016 年度秋季総合分科会 倉橋 太志 リンク情報 URLhttp://mathsoc.jp/section/logic_and_history/Tokubetu.html