0281132人目の素数さん垢版 | 大砲2016/09/10(土) 09:45:05.95ID:9sC7Tvre >集合論を除いた論理学はあらゆる矛盾をラッセルのパラドックスから導く事が可能でいかなる論理式の真偽も決定不可能となる ひょっとしてこの人は「論理学」を形式的数学の意味だと思っているのではないか? そういえば「数学以前」という言葉の意味が通じていなかったようだし