欣赏才鸟兄这种态度

QUOTE:

问题3：系统外证明。
对于系统内不能不能证明的命题，系统外可能被证明。
--才鸟，《逻辑学习笔记》原载：文学城

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