incompleteness idea gurt/kurt was all ummmmmmmmm he was kinds like, “not sure about ‘this sentence be false’ but how about ‘this sentence be unprovable’” then he defines a coding from sentences to numbers and i dunno maybe imagines a theoretical number algebra that includes rules for sentences actually