The Pythagoreans are credited with the proof of the existence of irrational numbers.[1][2] When the ratio of the lengths of two line segments is irrational, the line segments themselves (not just their lengths) are also described as being incommensurable.