ARAKAMAWAILIN ARAKAMAWAILIN Math Answered it is statement proven based on axioms other theorems and some set of logical connective