If we don't include the compiler and runtime, sure we can.

Godel's theorem is about formal axiomatic mathematical systems with certain properties like the ability to do basic arithmetic.