Proposition: Prop. 10.007: Incommensurable Magnitudes Have Irrational Ratio
(Proposition 7 from Book 10 of Euclid's “Elements”)
Incommensurable magnitudes do not have to one another the ratio which (some) number (has) to (some) number.
Modern Formulation
(not yet contributed)
Table of Contents
Proofs: 1
Mentioned in:
Proofs: 1
Thank you to the contributors under CC BYSA 4.0!
 Github:

 nonGithub:
 @Fitzpatrick
References
Adapted from (subject to copyright, with kind permission)
 Fitzpatrick, Richard: Euclid's "Elements of Geometry"
Adapted from CC BYSA 3.0 Sources:
 Prime.mover and others: "Pr∞fWiki", https://proofwiki.org/wiki/Main_Page, 2016