0050片山博文MZ ◆T6xkBnTXz7B0 2017/07/22(土) 18:48:30.61ID:WTRjQogU 無限集合の場合は集合の内包的定義により、離散的な論理学に還元され、やはり成り立つ。