けんき
says to
YSITD
那你可以構造出一個排中律不成立的系統嗎