数学の歴史から言って、基礎論に整合するかどうかより
理解可能性、構造同士の整合性、プラトン的実在性として正しいかどうかの
ほうが重要。それは今のところ満たしてないだろう