Li-Fan Chen
says to
YSITD
你的意思是 無法推出排中律 還是 可推出排中律矛盾