対角線論法の意味がわかりません。

対角線論法って

①　すべての実数を自然数で一対一対応できたと仮定する。
②　①に従えば、実数と自然数は表にまとめれるはず。
③　実数について対角線上の数字を変えれば、その実数は表にのっておらず、①と矛盾する
④　よって、実数は自然数と一対一対応しない。　

という論理であってますでしょうか？

仮に合ってるとすると、
ここから、どうやって、実数の濃度は自然数の濃度より高いという結論が導かれるのでしょうか。

また、上の②の部分が間違っているように思えるのですが。
実数も自然数も無限に観念できるのに、有限の表にまとめられると考えるのは矛盾では。