Uncountable sets

• Can We Prove the Irrationals Are Uncountable Without Cantor’s Diagonal Argument?
  Yes. A nested-interval argument proves the real numbers, and therefore the irrationals, are uncountable without decimal diagonalization.