Critique

Thanks for the feedback. I introduced more examples (in the form of proofs) in the "Fundamental Results" section as suggested. Also, FYI "first order logic" is just another name for "Predicate Calculus" so the original document already addressed your first point. I've made the connection more explicit to avoid this misunderstanding in the future.