3 ms·

A plausible hypothetical counterexample is sufficient in this case to demonstrate logical incompleteness.