In mathematics, a pruif is an inferential argument for a mathematical statement. In the argument, ither previously established statements, such as theorems, can be uised.
This page wis last eeditit on 13 Apryle 2017, at 03:38.