https://www.researchgate.net/publication/352165875_gonglidejihelunrumen ZF に於ける反映の原理 (reflection principle) の証明を書きました. この反映の原理は, BGE が ZFC の保存拡大になっている証明にも必要とされます.