Is it true that for all real numbers, there exists an integer smaller than it?
17285
Proof of greatest integer theorem: floor function is well-defined
86866
Is there a number whose absolute value is negative?
70262
Can the axiom of choice be used to define the real numbers?
146560
Is there any uncountably infinite set that does not generate the reals?
89496
$a$ algebraic number, $\exists$ integer $n>0$ such that $na$ algebraic integer
153969
The "elements" of a real number
68976
Given real numbers: define integers?
48028
True Definition of the Real Numbers
97005
A number smaller than negative infinity in python?
106272
Do numbers exist independently from observers?
38348
Is ECC over real numbers possible?
123341
Diophantine number has full measure but is meager
22391
Is the set of all pairs of real numbers uncountable?
58636
Do the real numbers and the complex numbers have the same cardinality?
7733
If A is infinite, does there have to exist a subset of A that is equivalent to A?
138446
Proving that there exists an irrational number in between any given real numbers
11405
If a nonempty set of real numbers is open and closed, is it $\mathbb{R}$? Why/Why not?