Proof of the greatest integer theorem: for every real number $x$ there exists a unique greatest integer less than or equal to $x$
17285
Proof of greatest integer theorem: floor function is well-defined
34099
Proving that the empty set is unique
45460
Proof verification of a number theory problem involving sequences.
63559
Is there a more complete way of proving this theorem (that I devised)? OR does this theorem already exist and have a name?
22367
How do I prove that for every positive integer $n$, there exist $n$ consecutive positive integers, each of which is composite?
44033
Number theory lemma - $x^2 \equiv 1 \pmod p$ implies $x\equiv\pm 1\pmod p$
22232
Proving that cardinality of the reals = cardinality of $[0,1]$
36862
A question about proving that there is no greatest common divisor
76110
Proving that the zero vector is unique
114043
Prove the existence of a real number satisfying a property
93771
Prove that for any set $A$ there is some $x \notin A$
88736
How does the Axiom of Extensionality prove the uniqueness of Specified sets?
23544
Complete induction proof that every $n > 1$ can be written as a product of primes
16235
Prove by induction that every positive integer is represented by some binary number?
21781
Prove for any $a>1$ there exist a natural number, $N$, such that $a^n>n$ for all $n \ge N$
144622
Proof: If no prime less than or equal to $\sqrt{n}$ divides $n$, then $n$ is a prime
56985
Show that every positive integer has a unique representation in the form $50k+l$...?