여기서 말하는 inductive set 이란 뭘까요

[익명(114.200)]

사실 해당 페이지에서 뭘 하려는지도 모르겠어요...

[익명(112.149)]

맨 위의 문단을 다시 한번 읽어보십시오. 궁극적으로는 집합 U를 모든 expression들의 집합으로, 그리고 집합 B를 indivisible sentence(=sentence symbol)들의 집합으로 두고, 함수 f와 g등은 logical connective로 두고 싶다는 겁니다. 그래서 만약 그렇게 둔다면 S가 inductive한다는 것은 모든 sentence(=well formed formula) 들의 집합을 포함한다는 것을 의미하게 됩니다.

[익명(114.200)]

ㄱㅅㄱㅅ

[익명(223.62)]

어떤 연산을 반복적용해서 나올 수 있는 모든 결과들의 집합. 예를들어 0에 S(따름수)를 반복적용해서 {0,S0,SS0,...} = N을 얻음

[익명(114.200)]

ㄱㅅ