4 ms·

You always have to make assumptions in any formal system able to express arithmetic as proved by Gödel.