3 ms·

I'm being quite careful: 'consistent effectively axiomatized formal system' is implied by my use of the word 'proves'.