Comment by alexwwang

As long as you make use of axiomatic theorem to design a system, you will make a friend with Gödel. It’s not just a problem of compiler or runtime. :)