formal argument
A formal argument is a set of sentences or statements used to prove a mathematical statement or theorem.
A formal argument is a set of sentences or statements used to prove a mathematical statement or theorem.