ZF に於ける反映の原理.

https://www.researchgate.net/publication/352165875_gonglidejihelunrumen

ZF に於ける反映の原理 (reflection principle) の証明を書きました.

この反映の原理は, BGE が ZFC の保存拡大になっている証明にも必要とされます.