3 ms·He doesn't have to. He can use the same argument to prove that a formal logical proof exists.by nurettin 7y agoHe doesn't have to. He can use the same argument to prove that a formal logical proof exists.