There are an infinitely many propositions that cannot be proved or disproved in foundational theories of Computer Science. However, foundational theories

There are an 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.