仮定が偽ならすべて真

数学は論理学でなりたっています。　仮定が真でなければすべて真となります。実数空間（R:Set of real numbers)はコンパクトではありません。