無限を理解しているかどうか簡単なテストをします

星が無限個あるとします
次の命題の否定命題を述べよ

「ほとんど全ての星は赤い」

ここで「ほとんど全て」とは「有限個の例外を除いて」の意味とする