Saint Thomas dans la Logique de Port-Royal

The development of Euclidean axiomatics

“…Several further editions were printed, with no changes in the axiomatics. A modern critical edition, which underlines the differences between the 1667 and 1683 editions, is to be found in Descotes (2009).

B ernard L amy , Les elemens de geometrie , Paris, Pralard, 1685.

Principes generaux, ou Axiomes: CN5, A4, CN1, CN2, CN3, CN7*, CN6*, CN4, CN8*, CN9*, N43.

[Book I]

Propositions, ou Demandes : I29, I3, E18, P1, P2, I31, I32, I30, I17; P3, E24, E6, E13, E8; E14, I25, I26; PP1.

[Book II]

Demandes : E19, E20.

[Book III]

Demandes : N44, N45, R53.

[Book IV]

Axiomes : I4, I33, I16, I34, I15, E21, I27, I28; E22, E23, AA2, AA3.

Lamy’s volume is a textbook mostly based on Arnauld (1683).…”