3 ms·

I sense Gödel lurking nearby. Isn't a formal system for describing maths guaranteed to be either incomplete or inconsistent?