אתה צודק
המילה גדול כאן היא בעייתית כי אתה משווה אינסופים.
יש תורה שלמה של הנושא של השוואת מה שנקרא עוצמות של קבוצות.
מה שמראים בערך הוא שלמספר רציונאלי יש פיתוח עשרוני סופי (או יותר נכון, מחזורי לבסוף), ולמספר אי-רציונאלי אין.
ולכן אפשר איכשהו לתאר בצורה "פשוטה" רציונאליים ושאי אפשר לתאר בכל כך "מעט" כללים את האי-רציונאליים.
הוכחה יותר מפורסמת היא הוכחת האלכסון של קנטור, גגל על זה.