https://5dok.net/document/qmjvmx09-principe-anselme-lecture-argument-anselme-charles-hartshorne.html