depend?

二階の算術の上で、ほげほげの定理が証明できないできるとかやっているのって、たとえば実数の定義によらないの?