Consult Pacuit (2007) and  Abramsky &amp; Zvesper (2010) for an extensive analysis and generalization of this result. But, it is not all bad news: Mariotti, Meier, &amp; Piccione (2005) construct a complete structure where the set of conjectures are compact subsets of some well-behaved topological space.