수학에서의 '명제'를 이용하여 과학적인 논리를 추론해낸 과학자의 사례를 이야기해줘 | 물어봐 AI