純粋理性批判
前3者は、カントが『純粋理性批判』の第三章「純粋理性の理想」において中世以来の神の存在証明に対する反論のために独自にまとめたものである。