ﾐｰﾑとかﾊﾟﾗﾄﾞｯｸｽとか不完全性定理に興味ある人いない？ヽ(´ー｀;)ノ