3 ms·
That's not exactly what the incompleteness theorem entails. I pointed out that the statement is not 'meaningless'. You now argue that it's trivial. That entail
by foldr 3y ago
That's not exactly what the incompleteness theorem entails.
I pointed out that the statement is not 'meaningless'. You now argue that it's trivial. That entails that it at least means something, so I don't think we disagree in a relevant way.