[it looks like either me or godel made a mistake. it appears to me the statement “this sentence has no proof” is logically meaningless because it can be trivially proven both false and true. i have been exposed only to very introductory material of godel’s proofs.]