수학이 발견이라는 주장은 2가지로 나뉨

[서해공무원(walking0314)]

1. 이데아식 주장

수학은 이미 존재하는 수, 도형, 패턴 같은 걸 발견하는 거다

2. 논리주의적 주장

공리계가 정해지면 정리들이 다 정해짐. 수학은 이 정리들을 발견하는 거임

난 2번에만 동의함

[아벨두두(rla15952)]

2번이 발명인데 왜냐면 수학자가 공리 설정전에 뭘 만들려는 세계가 이미 구상되잇음. 그걸 공고히 할려고 공리설정중

[서해공무원(walking0314)]

공리는 발명 맞음. 근데 ZFC 공리계가 특정 이론을 지향한거 같지는 않고 예전부터 사람들이 집합을 다뤄왔던 느낌 그대로 공리화한거 같음

[아벨두두(rla15952)]

@서해공무원 그거는 공리학을 만들겠다는 구상이라 그것도 발명임.

[서해공무원(walking0314)]

@아벨두두 ㅇ 발명임. 공리계 설정 이후부터가 발견