Li-Fan Chen
says to
YSITD
我看不懂哥德爾不完備性定理的證明