この定理は選択公理(axiomofchoice)という公理を用いると厳密に証明出来るが、その内容があまりにも直観に反するため、パラドックスと言われる.
厳密に