 \((\forall b)(\forall m)(\forall v)(\exists e/\forall b)\)(if \(b\) is a material body which moves at the velocity \(v\) and has the mass \(m\), then the kinetic energy \(e\) of \(b\) equals \(\frac{1}{2} mv^2 )\). 