(Late Edit: I used 'assume' sloppily here. What I meant was that we need to add Con(ZFC) into our axiom systems.)