Li-Fan Chen
says to
YSITD
我們不知道邏輯公理是否獨立於人類心智