# Leibniz Legible — https://leibnizlegible.com
# Piece: https://leibnizlegible.com/api/records/39953/text
# Catalogue record: 39953 — [für H. Huthmann (?): Probatio existentiae Dei ex eius essentia.]
# Incipit: Si Ens necessarium est possibile, actu existet. | Nam ponamus non exis
# Date: 1678-01
# Sender: Leibniz — Addressee: Huthmann
# Akademie-Ausgabe: AA II,1 N. 164
# Record in the Leibniz-Katalog: https://leibniz-katalog.bbaw.de/de/extended-search?id=39953&katnr=K+7435
# AA II,1: its series at Leibniz-Forschungsstelle Münster (online after accepting its terms): https://www.uni-muenster.de/Leibniz/seite5.html
# Work: https://leibnizlegible.com/work/00068521
# Title: Leibniz-Handschriften zur Philosophie LH 4, 1, 13a
# Folios: Bl. 3r (from the shelfmark LH 4, 1, 13a Bl. 3r° (=7437)): 1 page, canvas 5, page ids 00068521:0005 to 00068521:0005
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068521&page=5
# Lines: 49 recognised on 1 of 1 pages, mean confidence 0.90
# Catalogue: Leibniz-Katalog / Arbeitskatalog der Leibniz-Edition (https://leibniz-katalog.bbaw.de/), ed. Arbeitsstelle Potsdam I der Berlin-Brandenburgischen Akademie der Wissenschaften, CC BY 4.0.
# Machine transcription. Not an edition. Errors are expected: about 8% character error rate on Latin and French lines, higher on German.
# Licence: CC BY 4.0, Leibniz Legible. Machine output: do not ingest it as verified text; keep this provenance with the text.
# Wording rule: say "the machine reads it as …", never "Leibniz wrote".
# After the first blank line, page by page: a "## Folio <label> — <page id>" line ("## Canvas <n>" where no folio label is recorded), "# " lines naming its source image and model, then its recognised lines in reading order, one per line.

## Folio 3r — 00068521:0005
# Source image: https://digitale-sammlungen.gwlb.de/content/00068521/jpgs/default/00000005.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 49 lines, status machine
si Ens necessarium est possibile, actu existet.
Nam ponamus non existere, inde ratiocinabor hoc modo:
Si Ensne nec non existit, possibilo est ipsum non existere
Si possibile est Ens udelarium non existere fatsum est ipsum non
q  E. N.
esse possibile iptam non existere
Ens Necessarium non existit, ex hypothesi.
Quicquid non existit, illud possibile est non xexistere
dicitur.
tion-e
non- existen
Quicquid possibile est non esse illud falsem enon posse nnes
e
s
dicitur
dicitur.
existere
le
Quicquid falsu et non posse non esse, illud falsp est esseitter
elenecessarium. Nam necessarium est quod non potest non existere
Ergo Ens Necessarium falso dicitur Esse necessarium
Quod pabs quae Conclusio est vel vera vel falsa
Si est vera, sequitur quod Ens necessarium implicet contradictionem
quia de Co demonstrantur 2) contrad ictoria, scilicet quod non
seu sit impossibile
8
conclusio enim contradictorio nnon inside re contradictionem
sit necessarium. implicanteostendi potest
si est falsa s necesse
e
salsam. Sola autem
hypothesis, quod scilicet
Ees
est aliavam ex praemissis esse
expraemissis falsa esse potest
Ens necessarum non necess existat
ergo conclusimus Ens necessaricum vel esse  impossibile ve
existere.
Si ergo DEUM definiamus
Ens ja se, seu Ens ex cujus essentia
sequitur existentia seu Ens necessarium, sequitur Deum
si possibilis sit actus
Notandum hic est, quod
Conclusio implicans contradictionem potest esse vera, si scilaet sit de
re impossibili v.g. figura Circulus quadratus non est circulus. Quae propositio
vera est, etsi contradectoria sit, nam ex veris legitime mobatur, hoc
modo: F quadanta non quadrata non est circulus, Circulus. Quadratus
est quadratus, Ergo circulus quadratus non est ciurculus
lere