代数幾何学から選択公理を外したらどう構成的になるの?
構成的範囲の手法で限界点を読み取り
ABC問題も問題を二分割