Displaying similar documents to “On countable generalised σ -algebras, with a new proof of Gödel’s completeness theorem”