머리가 되게 아프다 진짜
이해 결국 했는데 뒤질 듯이 아프네 이거
inductive set 이런 거 공부했단 말이지...
자연수면 덧셈곱셈 정의도 나오던가? recursion thm만 잘 넘기면 - dc App
아직은 거기까진 안 갔는데 좀 해야 될 듯
자연수면 덧셈곱셈 정의도 나오던가? recursion thm만 잘 넘기면 - dc App
아직은 거기까진 안 갔는데 좀 해야 될 듯