关于数学系统的相容性问题，数理逻辑学家（）的工作是影响深远的。