#formal logic #logical structure #rules of inference #deduction steps #axioms #proof theory #rigor #logical system #entailment