証明不能なΣ₁文が存在する - Internet Explorer 2.0

証明不能なΣ₁文が存在する

#無矛盾性を表す文