7 ms·

There are elementary Diophantine equations that are independent of ZFC. What is your approach for those?