geckos3814 geckos3814 27-12-2022 Business Answered he's not eudoxus, but he names a property stating that there exists a natural number greater than a given real number.