Yes! ZFC can’t prove it’s own consistency or completeness but a larger theory can do this. I think ZFC + Inaccessible Cardinal can prove ZFC is consistent.

I had two points in these posts. One is that none of this pertains to whether or not space is continuous. The other is that the statement “arithmetic is consistent” is provable in some contexts. It depends on what the actual theory one is dealing with. In PA it’s not provable but in ZFC it is.

If the universe “contains” a model of PA then is that model consistent or not? How does one know? (I doubt it’s meaningful to say that the universe contains PA though.)