# Leibniz Legible — https://leibnizlegible.com
# Piece: https://leibnizlegible.com/api/records/56963/text
# Catalogue record: 56963 — Additio natura prior substractione. Natura priora. Demonstratio axiomatum.
# Incipit: Additio est natura prior substractione, seu + a + b est natura prius q
# Date: 1676
# Akademie-Ausgabe: AA VI,3 N. 050
# Record in the Leibniz-Katalog: https://leibniz-katalog.bbaw.de/de/extended-search?id=56963&katnr=Cc2+1509
# AA VI,3: 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/00069349
# Title: Leibniz-Handschriften zur Philosophie LH 4, 5, 10
# Folios: Bl. 54 (from the shelfmark LH 4, 5, 10 Bl. 54): 2 pages, canvases 107–108, page ids 00069349:0107 to 00069349:0108
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00069349&page=107
# Lines: 48 recognised on 2 of 2 pages, mean confidence 0.81
# 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 54r — 00069349:0107
# Source image: https://digitale-sammlungen.gwlb.de/content/00069349/jpgs/default/00000107.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 20 lines, status machine
e
sententia Robervallius non inepte
demonstravit axioma: si ab
aequalibus auferas aequalia residua
sunt aequalia solr axiomat
natura pridre. (si aequalibus
aiddas aequalia summae sunt aquales
quamvis eu mideo reprerensum
sciam a collegis racademia
s
La
na Parisina quia scilicet
que
lios illud ex hop demonstrare
e
potuisset, quam loc ex ilolius sed
et
riona sunt et peccatum videri potest
pro axiomate rabere quod ex positi
demonstrari potest.

## Folio 54v — 00069349:0108
# Source image: https://digitale-sammlungen.gwlb.de/content/00069349/jpgs/default/00000108.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 74, 2026-09-06T16:05:13Z — 28 lines, status machine
e
Additio natura prior substra dione-
Natura priora. demonstratio
axiomatum
de
oditio est natura prior substra
itione, si
4a+b est natura prius
quam +ab. quia natura prius est
ut duo a. b. eodem modo tractentur
quam ut tractentur modo divenso; et
cum modo diverso tractantur nondum ratio
apparet ead pertius dicategrab quam
a +b. e  ea igitur causca
a
forinsecus petenda est quod m lest
a
necesse cum dicimque ta +b, eodem
modo osteuditur et ab seu multiplicationem
ta
esse natura priorem sisso  sen divisione
t
comum
l
haec quidem ita gene ratem
assentum habent, ut pno monstro futurus
sit arithineticus saui ado substractionem
gractet ante additionem. Itdque mea