topic:incompleteness_paradox