今回は、ZF 集合論から置換公理を除いた形式的体系 Z からは、 順序数 ω+ω の存在が証明不可能であることを示します。 以下に、証明のアウトラインを述べます。 まず、Z に於いては、順序数の概念は、 ZF 同様、次のようにして定式化されます。 x が順序数で…