There are infinitely many propositions that cannot be proved

or disproved in foundational theories of Computer Science.

    However, foundational theories exclude the [Gödel 1831] 
    proposition *I'mUnprovable* because including it would 
    make the theories inconsistent for reasons mentioned 
    elsewhere in this discussion.