ZFC and irrational numbers
22498
In set theory, how are real numbers represented as sets?
127830
proof that $\sqrt(2)$ is irrational / why is the fraction irreducible
32
Is $n^{th}$ root of $2$ an irrational number?
87410
Are there real numbers that are neither rational nor irrational?
64885
Irrational and rational sequence proof
101028
Irrational numbers and Borel Sets
152172
Does there exist a positive irrational number $\alpha $, such that for any positive integer $n$ the number $\lfloor n\alpha \rfloor$ is not a prime?
151325
(How to/Can I) show irrational numbers?
126074
Proof of the irrationality of $\sqrt{3}$ - logic question
40009
Show that $e^{\sqrt 2}$ is irrational
141424
$\log_7 n$ is either an integer or an irrational number
85398
$\mathsf{ZF}$ is not finitely axiomatizable
4946
Non-existence of irrational numbers?
53945
The square root of a prime number is irrational
20315
$\sqrt[31]{12} +\sqrt[12]{31}$ is irrational
5584
How strong is this second-order version of ZFC?
23164
Why are irrational numbers uncountable and rationals countable?