Văn bản này: Proving the unprovable