Δ {\displaystyle \Delta }
Δ [ i ] {\displaystyle \Delta [i]}
∀ n , Δ [ 0 ] ∧ . . . ∧ Δ [ n ] ⊨ o k [ n ] {\displaystyle \forall n,\Delta [0]\wedge ...\wedge \Delta [n]\vDash ok[n]}
Δ [ 0 ] ∧ . . . ∧ Δ [ k ] ⊨ o k [ k ] {\displaystyle \Delta [0]\wedge ...\wedge \Delta [k]\vDash ok[k]}
o k [ n − k − 1 ] ∧ . . . ∧ o k [ n − 1 ] Δ [ n − k − 1 ] ∧ . . . ∧ Δ [ n ] ⊨ o k [ n ] {\displaystyle ok[n-k-1]\wedge ...\wedge ok[n-1]\Delta [n-k-1]\wedge ...\wedge \Delta [n]\vDash ok[n]}
![{\displaystyle \Delta [i]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/70254c8618e566decd29474b35f0c3136bd9fc3b)
![{\displaystyle \forall n,\Delta [0]\wedge ...\wedge \Delta [n]\vDash ok[n]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5c0c4f6b9260951b7b1c4ffb9b842a489cdea752)
![{\displaystyle \Delta [0]\wedge ...\wedge \Delta [k]\vDash ok[k]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/82e64788c3e2e17729754cd519a25fbb9755b913)
![{\displaystyle ok[n-k-1]\wedge ...\wedge ok[n-1]\Delta [n-k-1]\wedge ...\wedge \Delta [n]\vDash ok[n]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4b8b9af5eac06f9567443a4aef867c54b90ff5b7)
