• lmmarsano@lemmynsfw.com
    link
    fedilink
    English
    arrow-up
    7
    ·
    24 hours ago

    More specifically he proved that you cannot prove that 1+1=2

    That’s a misinterpretation of the incompleteness theorem: you should reread it. They did prove 1+1=2 from axioms with their methods.