The square root of two is irrational.

Proof available

The square root of any prime is irrational.

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