ゲーデルの世界―完全性定理と不完全性定理

「ゲーテル・不完全性定理」吉永良正　ブルーバックス　が　不完全燃焼（自分）。参考文献一覧を作成中

手続き型じゃない言語を齧っても別にバチは当たらないんじゃないの？というポエム