ℤ Is Diophantine in ℚ

6 points | by artninja1988 9 hours ago