Incompleteness Under Discussion