原文:两种不同的数学形式系统的分界线在那里?