No FAQ available that match "logical axioms"