Li-Fan Chen
says to
YSITD
我們現在要用邏輯系統去證明 1+1=2