ゲーデルが活きてたらZFC+V=Lで考えるのがいいはずと主張したのではないかな
もちろんそれ以外のものを考えて悪いわけではないが
それは非ユークリッド幾何みたいなもので
aprioriなのはこれだと自分は信じていると言うような気がする
（もちろん存在証明はできないとも言うだろうけど）