Not only is it easy, the ability to extend the computable into the non-computable is quite convenient. For example, computable numbers can be directly treated a

Not only is it easy, the ability to extend the computable into the non-computable is quite convenient. For example, computable numbers can be directly treated as a subset of the reals. This is exactly how TLA+ works: https://pron.github.io/posts/tlaplus_part3 https://pron.github.io/posts/tlaplus_part3