0538ニュースソース検討中@自治議論スレ垢版 | 大砲2019/04/30(火) 23:21:19.88ID:b9Uf1V96 >>533 ゲーデルの不完全性定理は自然数論を含むという前提だから、自然数論を含まなければ問題ない。有限の数だけ扱えばいい。