A rational number a/b where b is nonzero can, however, be exactly represented on the real line, can't it?. If irrational numbers didn't exist, then the the number line would have all elements being rational, which can be disproved. Then they must somehow exist :smile:.