mind control boss: “my muscles are so big that i can make this phrase get said if i grunt and strain:” midn control boss: “say the phrase” Godel’s first theorem claims there are statements in every formal system that are neither provable nor unprovable.