@haggismaths this really short explanation of Godel might also be helpful: blog.plover.com/math/Gdl-Smull…