>>579 訂正

 ∵ 有理数の集合Qが 構成的でないから、e+π,e-π,eπ を整列に含めるか否かが決まらない!
   ↓
 ∵ 実数の集合Rが 構成的でないから、e+π,e-π,eπ をQの整列に含めるか否かが決まらない!

かな ;p)