無限集合の場合は集合の内包的定義により、離散的な論理学に還元され、やはり成り立つ。