is: a mathematical proposition that may be proved, or which it is hoped will be proved.
Copyright 1997, The Open University
