37페이지 free(t,a,x)인데요..
이걸 보이려면 free라는 것에 대해 수학적으로 써야할텐데 그냥 이렇게 쓰면 될까요?...
모든 A의 ∀yB꼴의 부분명제에 대해서
p가 t에 나오는 변수 ( p를 어떠한 q로 바꾸면 원래의 항 t와 달라지는...이라고 썼는데요) 이면,
x가 B에서 자유로나와서 안되므로 저렇게 썼는데요
맞는지도 잘 모르겠고 ...
(=이나 ≡을 저럴때 써도 되는지..)
맞다고 쳐도 저걸로 어떻게 재귀관계임을 보이는지 막막하네요 ㅠ
햇이라고하나요? (^) <- 이모양 기호를 쓰는이유가 무엇인가요?
어차피 n = S(S(S(...S(0)...))) 이런식으로 생각해도 될 것 같은데
굳이을 붙이는 이유를 잘 모르겠습니다.... 괴델수에 관련해서 생각해야 할 것 같은데
어쩔땐 ded(a,b) 라고쓰면서도 ded(^a, ^b) (^n은 n 위에 ^쓴 기호요..) 라고 쓸때도
있구요...