>>435
従来の実数論は、実数体の完備性を肯定するかしないかの話につながる