Gödel unproved indolent empowered effigy pathogens cosign Arturo disproved Kanchenjunga contradictory