[Verse 1] The rationals have holes inside Where numbers ought to be Square root of two just can't reside In Q's geometry But real numbers fill every gap Complete from left to right No missing pieces in this map The continuum's complete and tight [Chorus] Completeness is the key that sets the reals apart Every bounded set above has got a least upper part Supremum always there, no matter where you start Completeness is the key, the real numbers' beating heart [Verse 2] Take any sequence that's Cauchy It's getting close inside In rationals it might just flee But reals provide a guide Convergence guaranteed to land Somewhere upon the line This property's what makes reals grand The missing piece by design [Chorus] Completeness is the key that sets the reals apart Every bounded set above has got a least upper part Supremum always there, no matter where you start Completeness is the key, the real numbers' beating heart [Bridge] Intermediate Value Theorem flows From this completeness trait Extreme values, Bolzano shows No theorem has to wait The unique complete ordered field Is what the real line gives All analysis springs from this yield In completeness, math lives [Verse 3] Nested intervals closing tight Must intersect somewhere Not empty in the real line's sight Completeness puts it there From monotone to bounded maps Every sequence finds its place No holes, no missing gaps Completeness fills all space [Chorus] Completeness is the key that sets the reals apart Every bounded set above has got a least upper part Supremum always there, no matter where you start Completeness is the key, the real numbers' beating heart [Outro] Not a choice but the solution true To fill Q's empty spaces through Complete and whole, forever new The real line's completeness pulls us through
← Alternative Construction: Cauchy Sequences | Key Facts About ℝ →