Symbolizing the First Way

[Matthias123]

1. 
   *]If ξ is essentially moved then every entity in set S has the property of being essentially moved, if ξ is not essentially moved then none of the entities in set S are essentially moved.
   
   *]If ξ is essentially moved and no entities in set S are capable of self movement then it can be seen as necessary that all entities in set S have the property of being essentially moved.
   
   *]If ξ is essentially moved, and no entity is capable of self movement and all entities necessarily have the property of being essentially caused, it follows there must be a first mover that gave motion to the set.
   1. ξx ⊕ ¬ ∀xЅx
   2. ξx ∧ ¬ ∃ySy ⊃□∀xЅx
   3. ξx ∧ ¬ ∃ySy ∧□∀xЅx → Ƒ

 

[Matthias123]

correct #3 it should say “essentially moved”