A name given to that part of algebra which consists in the direct search after unknown quantities.

In mathematics, a fact discovered in proving some other fact; an inference. ...