임의의 집합 X에 대하여 X가 inductive하면 집합 { x ㅌ X | x 드 X }도 inductive하다.
그런데 N은 모든 inductive set의 부분집합이므로,
N = { n ㅌ N | n 드 N }이다.
따라서 N은 transitive set이다.
아 빨리 집합론 익혀서 내 parsing 알고리즘 정당화하고 싶다.

- dc official App