Irrational number


THEOREM   

The square root of two is irrational.

Proof available

THEOREM   

The square root of any prime is irrational.

Proof available

THEOREM   

Between any two distinct rational numbers there exists an irrational number.

Proof available

THEOREM    The product of a rational and irrational is irrational.

Proof available

THEOREM    The sum of a rational and irrational is irrational.

Proof available

Proper supersets