Set theory
체르멜로-프렝켈 집합론 아래, 임의의 자연수 formula_36에 대하여 formula_37을 증명할 수 있다.