- 23 名前：１３２人目の素数さん [2011/10/30(日) 13:32:17.92 ]
- >>15
1階論理とかってのはコンセンサスなのでは？
現時点で代替的な手段がまったくないから。
数学に必要な論理的構造は1階論理でOK、というのは前提としてよいと思う。
数学の中には1階論理で記述不可能な命題もあるけれど、
それらは同値の命題に置き換えることで記述可能になっている。
また普通数学をやるときには素朴集合論の命題をミニマムな前提としてやるから、
素朴集合論の命題がすべて正当化できる論理なら間違いないと思う。
