Mathematical pruif

Frae Wikipedia
Jump to navigation Jump to search

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.