欣赏才鸟兄这种态度
文章来源: 追求永生 于 2007-03-31 22:28:53
QUOTE:
问题3：系统外证明。
对于系统内不能不能证明的命题，系统外可能被证明。
--才鸟，《逻辑学习笔记》原载：文学城


欣赏才鸟兄这种态度。系统外，也许是一个更大的系统吧。而这个更大的系统，人们在考虑小系统或子系统时，为了方便，只是排除在外，而不是在客观上真的使其消失。