axiomatic foundations: add missing paren
axiomatic foundations: add missing paren

avigad/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof,avigad/logic_and_proof,leanprover/logic_and_proof