a1431cac3232b4669b341079479f34330ca276acb11e71c9a4ab2aa5


a1431cac3232b4669b341079449f3433fae9baaa95d399ca27f2b6d0



이거 유일성 증명은 아주 직관적으로 수학적 귀납법과 정의에 의해서 자명하게 보장되는데

존재성 증명이 존나 골치아픔

일단 F를 가정하는데 p라는 함수의 존재성은 왜 가정하는거고

q라는 함수는 왜 또 가정하는건지 이해가 안감

그리고 q라는 함수는 p와 S(n)에서 f(p(n))으로 사상되는 함수의 합집합인데 이건 왜 이런 개념이어야하는지... 누가 설명점