Title: Proof in mathematics ("if", "then" and "perhaps")
Subjects: Proof theory