[일반] 대개의 수학하는사람들이 받아들이는 엄밀함보다 더 파고드는 분야도 있음?

[익명(125.133)]

수리논리쪽?

[익명(222.235)]

Zfc말고 다르게 구성하는 거 연구하는 사람들 많음

[익명(119.200)]

생각해보니까 많다의 기준이 2명 이상인거같음

[김민성태팬클럽회장(thecoqproofassistant)]