# Leibniz Legible — https://leibnizlegible.com
# Page: https://leibnizlegible.com/page/00068646:0103
# Permalink to this reading: https://leibnizlegible.com/page/00068646:0103?run=74
# Title: Leibniz-Handschriften zur Philosophie LH 4, 7B, 2
# Folio 52r, page id 00068646:0103
# Scan: One image of two folio pages side by side, registered by the library under both labels (also fol. 51v); this page is its right half.
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00068646&page=103
# Source image: https://digitale-sammlungen.gwlb.de/content/00068646/jpgs/default/00000103.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 43 lines, status machine
# Lines: 43 recognised, mean confidence 0.95
# 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.

ut ostendet resolutio nam sit A+ B-B - P F, d
et A∞ Z + M, et B∞ N+ M, et p ∞ H + M frat
4+ dico fore A. +∞F. Num resolvendus fiet
A F ∞ A P hocc hocest ∞ g M resolvendo
dico fore A F ∞ A- D. Nam A resolvendo A, B, Y
fiet Y ∞ Q+ M 4+ N+M - N - M - H - M ∞ AA
(per ax. 2.) Q- H.  quod ∞ A- P, seu e+ M- H - M
verum quando ignoratur
si A est in L es A B est in L quaeritur an sit
hoc mam restum est
recessaria etiam B sit in L
A + B ∞ A+ C
A+
positione
quam detractione
restetatur
in hoc calculo aterae
A, B, etc. significant
certa quaedam irreptribilia
varbi gratia res singulare
item notiones universales
ne, unde repetitio est
inutilis; item ordinus
quoque hic non habefioratio
suballematur calculo de
combinationibus in universum
ubi non tameditur
si A est in L erit A+B in L+B Axioma A+ A  ∞A
Nam A + N ∞ L Ergo A+ B ∞ Ergo +B∞ A+ N+B
Nam L∞ A+ N. jam A+ B est in A+ N + B. Ergo in L+B
si A + B est in L+B, A est in N L hoc non
aquitur
si A est in B
si A est in B et B est in A erit A∞B
se A est in B Nam si A non ∞ B et tamen
A in Nam si A est in B erit A+ N ∞ B. Ergo
A+ N est in A. Ergo N est in A Ergo AtH∞
probunda haec consequentia: Si A + N est in A, etiam N est in
Nam si A+ N est in A. Erit A + A + N ∞ A
Eergo (per prop.) Ergo A+ N∞A (per ax.)
Ergo (per prop. N est in A
si A+ N est in A etiaq N est in A
u Nest in A+p