| [ KAIST ] in KIDS 글 쓴 이(By): guest (guest) <218.236.132.103> 날 짜 (Date): 2003년 3월 15일 토요일 오전 10시 46분 38초 제 목(Title): Re: 일더하기 일은 이의 증명 헥, 이젠 한글이 되네요. > axiom system이 뭘 말하는것인가요? > axiom of choice를 뺀 axiom set을 말하는것입니까? 아뇨. 여기서 얘기한 것은 원래 글쓰신 분의 ------- 수: 0은 수이다. x가 수이면, Sx 도 수이다. // S0은 1이라고, SS0은 2라고 읽어줍시다. 공리1: add(0,y,y) .............................(1) add(x,y,z) => add(Sx,y,Sz) .............(2) 이것만 가지고 페르마의 정리까지 증명 가능한가? 수학적 귀납법 하나면 더 있으면 됩니다. 다른 연산자(-,*)등은 정의하면 됩니다. --------- 를 말한 것입니다. 예를 들어, 이 주어진 언어를 가지고 transfinite induction을 얘기하기 위해서는 먼저 이 주어진 언어 S0, S1, ... add() 등을 가지고 어떻게든 ordinal을 정의하고 표현할 수 있어야겠죠. |