Geometrical Report. Notes to: Redundant Axioms
{1a04}: by use of adeoque (therefore) in {1p03} demonstratio, {1a04} is claimed to follow from {1a05}, hence claimed redundant :
{1p03}: Si nihil commune cum se invicem habent, ergo (per axioma 5 {1a05}) nec per se invicem possunt intelligi adeoque (per axioma 4 {1a04}) una alterius causa esse non potest."
{2a1.1} is redundant:
{1p15}
{1p16}
Everything is
produced ("caused"
type
1) by
God =
natura-sense 2 =
substance.
{1p24}: "The
essence of
things
produced by
God does not
involve
existence."
(man is a thing)
(necessary
is used pleonastic)
___________________________________________________________
{2a1.1} The
essence of man does not
involve
necessary
existence
{5a02} claimed to rest on
previous deductive
elements, hence claimed redundant.