Good point, I've already written a discussion page to get people talking about the epistemic status of undecidable propositions, but I feel like a full description of Godel's first incompleteness theorem might be a bit much for a discussion page.