转贴:证明的证明 作者:异调_数学吧_百度贴吧
澈贤哟吧
全部回复
仅看楼主
level 10
SnowOnion
楼主
好文章,让我走上了 形式系统 的不归路……
证明的证明 作者:异调_数学吧_百度贴吧
来自：
tieba.baidu.com/p/11112257
2016年01月20日 13点01分
1
level 10
SnowOnion
楼主
里面的图是
2016年01月20日 13点01分
2
1
