# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068194:0145
# Permalink to this reading: https://leibnizlegible.com/page/00068194:0145?run=74
# Title: Leibniz-Handschriften zur Mathematik LH 35, 12, 1
# Folio 73r, page id 00068194:0145
# Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 74v); this page is its right half.
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068194&page=145
# Source image: https://digitale-sammlungen.gwlb.de/content/00068194/jpgs/default/00000145.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 38 lines, status machine
# Lines: 38 recognised, mean confidence 0.94
# 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: the recognised lines in reading order, one per line.

si sit propositio vera, in quam ingreditur C
et pro O substitaetdo D, ftat propositro fa caeteris
omnibus manentibus; dicetur O et D discerni
2 Si  et D possunt discerni, dicuntur diversa
Si O et D non possunt discerni dicuntur eadem
4. Quae non sunt eadem ea sunt diversa
dum praedicata universalium Terminorum rursus subdividi possunt 5 Quae eadem esse colliguntur, dicimus Coincidentia
exempli causa si duae sint rectae, quarum quaelibet
circulum bisecat, ostendi potest medium punctum unius
idem esse cum medio puncto alterius, ideo dicemus
meoes dhametorum circuli puncta coincidere
me et D esse eadem ita designo: O ∞D
y Si O et d sint eadem, diversa vero ita: O non c
O
8 Quae eadem sunt, eorum unum alteri substitui
potest salva veritate seu si sit propositio
sto()Sit  ∞ D (2) Et sit Propositio vera 
(3) in qua O (4) Dico pt in e pro C ponas D mna caeteris manentibus
(5) tunc fieri B veram. (6) Nam alioqui O et D
possunt discernentur. (per prop. 1.) Ex (7) Ergo
non sunt eade in fir 2 et A. 3) contra hyp.1
(per prop. 3) quod est contra hypothesin sic 1)
9. Quae eadem sunt uni tertio eadem
sunt inter se
(1) sit 0 ∞ D (2) et D ∞ O. (3) dico esse
arti
C. ∞Q. (4) Nam in, 2. ponatur vera (ex hypis
poni potest O pro D (per prop. 8.) (5) sit
ut f iat vera (per prop. 8.) (5) fit autem O∞9
per autopsiam  ipsius 2) (6) Ergo 40 est 00
vera (per 4 et 5) Q. E. D (per 3)
(10) Quod diverso ab alio idem est, ab illo
alio diversum est
(1) A ∞ B (2) et B non ∞ C _ (3) dico fore
A non ∞ C (4) Nam si A∞ C erit (per prop. 1.
et antict hic (per (per artic. 1. hic et per propius)
B ∞ C. (5) quod est contra hyp. (art. 2.)
+fiat propositio faulsa