Bounded and Complete Lattices
111064
Example of a bounded lattice that is NOT complete
113340
Show that the recursive sequence is bounded
97148
Does bounded variation imply boundedness
29744
Compactness and axiomatisability
11586
Sequences of Real Numbers in a closed bounded interval
116527
Validating a proof for necessary and sufficient conditions on sets A & B such that $P(A) \cup P(B) = P(A\cup B)$
132641
Proving that Euclidean Space is a complete metric space
27600
Gödel's (in)completeness theorems and the axiomatization of Euclidean geometry
118617
Completeness and Incompleteness
68230
The cardinality of a countable union of sets with less than continuum cardinality
93606
Showing that $C[0,1]$ is not complete
67702
Minimal dense subset
154324
preservation of completeness under homeomorphism
109229
An Example of a Nested Decreasing Sequence of Bounded Closed Sets with Empty Intersection
135157
Totally bounded, complete $\implies$ compact
118189
Proving the pairing axiom from the rest of ZF
82771
Proving that any polynomial $p:\mathbb{R}\rightarrow \mathbb{R}$ is not bounded, but its restriction to any bounded set is bounded