Instructions: You are given a statement written in Bengali. Choose the most logical word from the given 4 options which can be used to replace the <MASK> token in the statement . Output the word from the correct option .
Input: Statement: Philosopher-mathematicians such as <MASK> have attempted to formulate philosophical arguments in an axiomatic manner, whereby mathematical proof standards could be applied to argumentation in general philosophy. Other mathematician-philosophers have tried to use standards of mathematical proof and reason, without empiricism, to arrive at statements outside of mathematics, but having the certainty of propositions deduced in a mathematical proof, such as Descartes' cogito argument.

 Option A: Leibniz

 Option B: Spinoza

 Option C: থেলিস

 Option D: Descartes
Output:
Spinoza