A proof that Z is Diophantine in Q

1 points | by lisper 9 hours ago