正文

探究日常推理如何从公理出发,解答生活中的数学难题