Aristotle’s Completeness Proof