Li-Fan Chen says to YSITD
不代表公理一定是對的