>>88,>>92
「『証明できないこと』が証明できないこと」が証明できないことを示す方法は現代集合論にはないのー？