「集合論」に関するサイレントキーワード「知識表現」が含まれる科研費採択研究1件

【研究名】不完全性定理と「命題の名前の自然な構築機能をもつ論理言語体系」の論理的関係の解明
【研究代表者】藁谷 敏晴  東京工業大学   工学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000080136209/