cross-posted from: https://community.hackliberty.org/post/45

Bit of an off the wall paper I wanted to write on First Order Logic. This is just an introduction as I have found that Intros for FoL kind of suck.