here's a fun game you can play with your twitter followers: ask them if any consistent system of axioms whose theorems can be listed by an effective procedure can prove all truths about the natural numbers

people are surprisingly good at figuring this out just based on vibes