형식주의도 사실 발명임

[아벨두두(rla15952)]

공리로 하기.전에.

이미 수학자가 만들고싶은.아이디어가 뇌속에 잇음

이걸 형주로 체계화 할려는 작업임.

그래서 발명임.

이상임

[서해공무원(walking0314)]

ZFC에서는 의도성이 별로 안느껴짐. 공리들 보면 a, b가 있으면 {a,b}도 있다 이런 거밖에 없음. 이런 기본적인 거에서 여러 분야의 정리들이 나오는 거라서 그 정리들이 나오게끔 공리계를 설정했다는 느낌이 안 듦

[아벨두두(rla15952)]