he's not eudoxus, but he names a property stating that there exists a natural number greater than a given real number.



Answer :

Other Questions