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