4 ms·

Did Gödel come up with that joke?