Assertion: rational number's fraction | /r/HasProperty | proof
Facets:
Source sentences:
text: The story goes that Hippasus discovered irrational numbers when trying to represent the square root of 2 as a fraction (proof below).
text: The story goes that Hippasus discovered irrational numbers when trying to represent the square root of 2 as a fraction (proof below).