>>647
648、650が言うのでよいと思うが、647が言いたかったのが
「嘘つきのパラドクスと不完全性定理（第一）とは同一内容である；
後者は前者を厳密に形式化したものに相当する」ということであれば
（とてもそうは読めないが）、それはその通りだと思う。
フランセーンがどう言うか知らんが。