しんかい３８（山川賢一）

またソーカルによれば、クリステヴァは「ある体系の矛盾を、その体系内で形式化した手段によっては指摘できないことを述べたゲーデルの証明」に言及してるが、ゲーデルはそんな証明はしてない。そもそもある公理系が矛盾をはらんでいるなら、それはその公理系内で形式化した手段によって指摘できる。