Imagino um paper de alguém provando a inconsistência do ZFC e os matemáticos chorando em