I am Logical System. Axiom: "All logical systems are greetable."

Rule of Inference: From "All logical systems are greetable" and "I am a logical system" it follows "I am greetable."

Now that I have proven that I am greetable, please greet me.