  It should be clear that Leibniz's definition of what is necessary will be adopted by Kant, but Kant will call this analytic. (On the other hand, Kant famously rejects the idea that the arithmetic statement given above (or any arithmetic statement) is analytic. Although this is a topic of some controversy, the majority of jurors have a returned a verdict in favor of Leibniz's classificatory scheme and against that of Kant.)