The proof bifurcated "the numbers" into two non-overlapping collections—the rational numbers and the irrational numbers.
Доказ розбиває "числа" на дві непересічні множини - раціональні числа та ірраціональні числа.