GabayとO’Connorの定理
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/224549/1/1988-04.pdf
https://prezi.com/ex2iphtqlcck/presentation/

もったいぶる基礎論村の住人