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

{3post01} claimed to rest on previous deductive elements, hence claimed redundant.

{5a02} claimed to rest on previous deductive elements, hence claimed redundant.