그러니까 또 ZFC 괴롭히기의 한 종류인데
선택공리 빼고, ZF 공리계에서 axiom of replacement 있잖아
만약에 axiom of replacement가 다른 ZF 공리와 충돌하면?
모순점을 찾아낸다면?
그러면 그 사람은 120억을 벌 수 있음
폭발률로 어떤 문제든 참이라고도 거짓이라고도 증명 가능함
7대 문제에서 남은 게 6문제니까...
이거 때문에 찾아봤는데
AoC는 independent하다고 밝혀졌지만
replacement는 아직 그런 독립인지 안닌지에 대한 증명 없다 함
할말이 많은데 써봐야 설득 안됄거 같아서 줄인다. 결론만 말하자면 안됀다
이 내용 Jech에 있음? 그러면 페이지라도 알려주셈
해당 댓글은 삭제되었습니다.
할말이 많지만 관련 수학철학적 주제를 건드리자마자 크랙팟처럼 보일 것 같아 못 쓰겠다...
선택공리를 채택하면 모델 만들어질 것 같은데?
"attached is 99 cents, which I have shown to be equivalent to the claimed reward using your results"
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ