• Shelena@feddit.nl
    link
    fedilink
    English
    arrow-up
    15
    ·
    1 day ago

    It applies to systems that are complex enough to formulate the Godel sentence, i.e. “I am unprovable”. Gödel did this using basic arithmetic. So, any system containing basic arithmetic is either incomplete or inconsistent. I believe it is still an open question in what other systems you could express the Gödel sentence.