>>523
数学板では１と４以外要らない

要するに
ラッセルはフレーゲの無制限の内包公理を葬り去り
ゲーデルはヒルベルトの無矛盾性証明計画を葬り去った

どっちも別にアンチだったわけではなく
むしろその方向に共鳴していたにも関わらず
不都合な事実に気づいてしまった