『岩波-数学辞典』には、載っていないが、数理哲学上の大問題。