Formal domains like mathematics and logic are learned through syntactic rule-mastery and proof, not ...