数理論理学（数学基礎論） その12

[0626 １３２人目の素数さん 2018/02/15(木) 02:37:48.11 ID:2w+jez9v]

>>623
説明があった
1975年に指摘されていたみたいね
https://arxiv.org/abs/1309.0389

あと言っとくが、同値な命題だからといって同価値ではない。