[spam][crazy][fiction][random] Non-Canon MCBoss Spinoffs

[mailbombbin]

A sentence of LA will be called true when it’s true in the structure N
. Let’s see some examples
of true sentences and false sentences of LA.
∀v1(v1S = v1 + 1) ∀v1(∃v2(v1 = 2 × v2) → ∃v3(v1 = 2Ev3))

translate:
for all v1, v1++ == v1 + 1 (true)
for all v1, if there exists a v2 such that v1 = 2 * v2, then there
exists a v3 such that v1 = pow(2,v3) (false)