Li-Fan Chen
says to
YSITD
而且你要怎麼證明邏輯的公理是對的