>>719
論考でラッセルのタイプ理論を批判しているよね。
ということは、ラッセル程度の実力はあるのでは?