Category:Assumptions

From ProofWiki
Jump to navigation Jump to search

This category contains results about Assumptions.
Definitions specific to this category can be found in Definitions/Assumptions.


An assumption is a statement which is introduced into an argument, whose truth value is (temporarily) accepted as True.


In mathematical expositions, the keyword let is often the indicator here that an assumption is going to be introduced.

Subcategories

This category has only the following subcategory.