Title: Syllogistic Logic and Mathematical Proof