>>583
ホモトピー論ってどんなことやってたの？
あと強制法はどんな感じでした？
ジェネリック・フィルターとか使いましたか？
ZFC→BGCの保存拡大はどこで知ったのか気になります...。