2 ms·

:::goedel's incompleteness theorem