>>159

そのリンク先の >>52-58 は、昔俺が書いたやつだ。
懐かしい。

ちなみに、詳しいことは省くが、
区体論に適当に公理を付け足せば、確かに BG 集合論あたりと等価になるよ。