中世纪使用数学和逻辑学来论证上帝的存在。