Using my own definition of Truth:
Truth is a property which propositions contain in direct proportion to which they correctly predict future events.
Could the OP's formal argumentation be used to predict future events?
If so then it could be possibly said to be True and at some point to have been proven to have been True.
Otherwise
Meh.
Truth is a property which propositions contain in direct proportion to which they correctly predict future events.
Could the OP's formal argumentation be used to predict future events?
If so then it could be possibly said to be True and at some point to have been proven to have been True.
Otherwise
Meh.
So how, exactly, does God know that She's NOT a brain in a vat?
