12/10/20 13:01:51.02
QがCon(Q)を証明できないことはシェファードソンらによって直接的に証明された。
これは可動条件が証明されないということを示す。
次にウィルキーらがIΣ0＋expまでQを拡張してさえ、Con(Q)が証明できないことを示した。
12/10/20 13:01:51.02
QがCon(Q)を証明できないことはシェファードソンらによって直接的に証明された。
これは可動条件が証明されないということを示す。
次にウィルキーらがIΣ0＋expまでQを拡張してさえ、Con(Q)が証明できないことを示した。