Welcome to the Proof Sandwich Ontology, a comprehensive guide to the art of proving things.

Our ontology is divided into three main sections: Axioms, Theorems, and Proofs. Explore them to learn more about the structure of proof.