Gottfried Wilhelm Leibniz
一方、ドイツのゴットフリート・ライプニッツは、確実だと証明できる法則は実際上ないと考え、証明できないという性質を持つ命題・仮説の利用は理論の構築に不可欠である、と見なした。