第一篇数理逻辑的研究对象