이차논리 증명? 해주실분!

[익명(115.145)]

집합 원소에 대한 직관적인 정의같은거 다 배제하고, 제시된 공리1,2와 정의로부터 정리를 증명할 수 있는건가요?

[익명(223.39)]

정리의 x∈y 부분을 정의대로 다시 쓰되 존재양화식의 F를 예화해서 G로 쓰고 나면 공리와 연관성이 보일듯.

[익명(210.95)]

어떤 증명 체계를 쓰는진 모르겠는데, 적어도 natural deduction system으로 쉽게 가능함. 공리 2는 필요 없고, 공리 1이랑 정의(이거 그냥 assumption이라고 해도 되는데)만 갖고, F를 임의로 하나로 고정한 뒤, 공리 1의 y를 선택해서 고정하고, 그 고정된 y에 대해 x를 하나로 임의로 고정한 뒤, x∈y -> Fx 랑 Fx -> y∈x 인 거 각각 보여주면 됨.