>>673
いや、否定されるのは「可算である」という仮定です