For every number N in a sequence of numbers it is true that each odd N is followed by 0 or more other numbers (not including 0) then the number N+1.
How do I write this formally?
This is my attempt but it is probably wrong.
∀ a at position b: a is odd ∧ ∃ c at position d: d > b ∧ c = a + 1 ∧ ∀ e at position f: d > f > b ∧ e != 0