原文:基本事实和公理的区别