Előző dologra visszatérve, ha egy Turing gép megállna véges sok lépésben azt be tudnánk bizonyítani, tehát ha ezt nem lehet bebizonyítani, akkor intuitíve azt gondolnánk, hogy nem áll meg. Másrészt ha a nem megállást sem lehet bizonyítani, akkor bizonyos ZFC modellekben megáll másokban nem. Ez engem kicsit zavar, hogy ilyen "objektív valóságok" ZFC modelltől függhetnek. Van erre valami megnyugtató "válasz"?