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

ia nit
detrahitur
tadem
∞N.
 unde AeI A- A vel AFP- A vel A- A + A Ec  Nit. ral
schol. per Ap. V  res semper redit ad A- A.
Axioma si idem secum ipso sumatur, nihil constituitur
novum, seu A + A ∞ A
Restutatum Schol. Equidem in numeris 2 + q facit 8, sed seu
bini nummi binis additi faciunt quatuor nummos, sed
tunc bini additi sunt alii a prioribus, si iidem essent, nihil
b
novi prodiret, et perinde esset ac si joco scolastico, ex tribus
denantur ovis facere vellemus sex, numerando primum 3 ovas deinde
uno sublato residua 2, ac denique uno rursus sublato residuum
Postulatum 1. plura quaecunque simul sumi possunt ad unum
constituendum, ut si sint A, et B, potest inde fieri A + B
uinum er suctituentibus a constituente gilatione auferri potest
quod appellari potest L.
si quid alicui insit, potest ab eo 9
Posdul2
a
ut
si dentum plura quae sima omnita unum constiturm agum eodtim quod
libu a constitut su continente lotuat nit est 
ut
det 
si ipe L insts potest
osta se latur A+B renbi gatia: si ea A+ B ∞0 L Hoc est ab A +B potest detrahri  seu
residuum
quod da eatur
haberi
quod restet sublato A ex L. si sit A+B ∞ L, poterit
B, seu Residuum detracto B ab L.
orio. x hnsus possat ase postea msdum
B 
Schol. ope hujus postulati postea medum, taboms inveniendi disgerentianeitio do quorum nonis alteritinest
HEORE M A
1.
beotam
2
innistem
continen
qua
con
stituunt, non deltur; seu modum
Quae sunt eadem uni tertio eadem sunt inter se
s
in
Si A∞ B et B ∞ C Ergo A ∞ C. Nam s propositione ACP
Erit
facere licet
(vera, ex hypothesi) substituatur C in locum B (quod fieri potest
per de f. 1. quia D ∞ C, ex hyp.) fiet A∞ C, Q. E. Dem.
THER. TI.
Si duorum quae sunt eadem inter se unum diversum sit
a tertio, etiam alterum ab eo erit diversum
Si A ∞ B et B non ∞ C erit A non ∞ C. st Nam si in
propositione B non ∞ C. (vera, ex hyp.) substituatur A in locum B
HEOR. IIL
Si iem addantur coincidentia, siunt coincidentia
eidem
Si e ∞ B erit A + C ∞ BE B+C. Nam A+ B si in
propositione A+C ∞ A + C (quae est vera per se) pro
A semel substituas B (quod fieri facere licet per def. 1. quia AC B)
ar si coincidentibus addantur coincidentia siunt coincidentia
A+ C ∞ B+ C Y. E. Dem.
Si A∞ B et L∞M erit A + L ∞ B + M. Name  therrem
fie
CoRDLCAA
(per praesens theorema) quia L∞ M erit A+ L ∞ A+ M et quia A et pro in
quod facere licet per def. 1. quia A∞ B ex hyp.) fiet A non ∞ C. Q. E. Dem.
hac ppoit assertiene pro A demel ponendo B (quia Ha0 B eproypis ses Aato Pueri Enars
Arioma 2. si edem punitm dolm
A
 A (quodescuaq donitus equalilsenas
Eti aliqua cypit
cioma 2. ANihilo
si coincidant id quod
ponitur et id quod detrahitur
superest Nihil. seu pe
plonitur et detrahitur
dem
iicquid
lio constituitur, coincidit
Nihiloseu si pro A quotiescunque
inde a
in aliqua re taniter constimendus
pouas
itidem pet
prondas
AmA
de
t
pa
undum Aeuts
Detrahere
Postul. 2. Potus
detrahi
aliquid A ab eo cui inectumpe
bA+ B seu L se
ua
dentur, ut B, quae cum ipso
A constituunt
ita ut ex
ContinenL i
seu Nidem hobe
positis invenire nemengireperir
Residuum L- A
dinveniendi L- A seu HYB - A, licet solum
dentur L et A, non vero b
s
Hic inseri posset Thiorema
talc: quod inest uni
coincidentium, etim
alteri inest. Si A est in C
et B0 C etiam R est in
C. Nempe in prop. A est in B
vera exhyp) substituendo
lin locum ipsius Y