# Leibniz Legible — https://leibnizlegible.com
# Piece: https://leibnizlegible.com/api/records/12424/text
# Catalogue record: 12424 — [Aufz. betr. Calculus Situs]
# Incipit: In Situs est Extensum et Extremum
# Date: 1708-04-17
# Akademie-Ausgabe: AA VII (assigned, not yet published)
# Other printings: De Risi, Geometry and Monadology, 2007, S. 590-591
# Record in the Leibniz-Katalog: https://leibniz-katalog.bbaw.de/de/extended-search?id=12424&katnr=39956
# Work: https://leibnizlegible.com/work/00067967
# Title: Leibniz-Handschriften zur Mathematik LH 35, 1, 8
# Folios: Bl. 4 (from the shelfmark LH 35, 1, 8 Bl. 4): 2 pages, canvases 7–8, page ids 00067967:0007 to 00067967:0008
# Original at the GWLB: https://digitale-sammlungen.gwlb.de/resolve?id=00067967&page=7
# Lines: 58 recognised on 2 of 2 pages, mean confidence 0.95
# 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 4r — 00067967:0007
# Source image: https://digitale-sammlungen.gwlb.de/content/00067967/jpgs/default/00000007.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 39, 2026-08-27T09:55:26Z — 55 lines, status machine
duetur
latum, si
ment ex
sopt prses
In + Situ est Extensum,
extremum
potest dari extensum, quod non est extremum; et extremum quod non est extensum,
potept tamen etiam dari quod simul est extensum et extremum.
omne extensum habet extremum suum; omne extremum habet extensum suum
quo cujus est extremum. Sed
Extremum quod non est extensum est punctum
Extensum quod non est extremum est solidum
Extremum quod est extensumt habet aliud extremum, id extremum quod sit rursus extensum
sit, prius extensum dicitur latum; ut autem longum dicatur aliquid, sufficit ut sit extensum
Ut habitudo meliis exprimatur, pro Extenso dicamus Terminati pro extremo terminans
Terminans in est terminato, s ita ut non sit ejus pars
itaque Terminans es non est homogeneum terminato, sed genere inferius. Hinc
Punctum est terminans infimum; itaque punctum est terminans quod non est terminatum
seu punctum est terminans, quod non habet eterminans
suum. Quod sity
Linea est terminatum insimum, itaque linea non habet terminans terminatum
Superficies est terminans summum, itaque superficies non habet terminatum quod sit termina
solidum est terminatum summum; itaque solidum est terminatum quod non est.
terminans seu solidum est terminatum, quod non habet Cterminatum.
Cet infirrium
prolatione aegere viders propositiones sequentes:
datur termitmns infimum et summum in terminatis et in terminantibus, et nihal nsi summu
datur terminatum summan Terminatum mediam est termimens summum
quod sit
Terminans medium est terminatum insimum.
nin Terminatis et in terminantibus datur imum et summum et medium
21 In Terminatis et in Terminantibus non datur nisit imumat summum
unde se nitur non nisi haec quatuor dari: terminans infimum, terminatum infimum
sequitur etiam terminatum medium esse terminans summum, et terminans
terminans summum, terminatum summum
medium esse terminatum infimum
Sequitur etiam, tria dari terminantia, et tria terminata
objicies posse coincidem Terminatum insimum, et terminans summum. Sed Terminatum
infimum sed ita non datitur terminans medium, neque terminatum medium. Itaque terminans
aut erit inum, seu punctum, aut summum, adeoque non dabitur terminans non dabitur nisi anllra
termins terminatum a itaque hon datitur terminatum cujus termonems latm latitudo,
probatione egere videntur popositio
obserrantur propositiones sequentes duae
In terminatis pariter ac in terminantibus datur infimum medium et summum
Nihil in termin unis medium est, quod in alteris non sit infimum aut summum
Non nisi quatuor prodire: summm infimum terminans, infimum terminatum, secmmum
me
sselermuns
Hinc sequitur
terminans summum terminatum
e ut triungulilatera possint esse propessonis geotebricae, fiet a +b majux quam b0. a ergo ab  ob majus
aa tab majus quam bb. Ergo aa + ab + L majus quam (5: 4) bb. Ergo a majus quam 15-1
ut vel si progressio decrescens erit (bb: a) + b majus quam a ser bb + ab majus quam aa, et
ie
db majus quam  F(5 = 1)

## Folio 4v — 00067967:0008
# Source image: https://digitale-sammlungen.gwlb.de/content/00067967/jpgs/default/00000008.jpg
# Model: FoNDUE-GD_v2_ft_Leibniz, run 39, 2026-08-27T09:55:26Z — 3 lines, status machine
ED WILHE
12
EDERSÄCHSISCHE LANDESBIBLIOTHEK