Any Theorem (as I shall use this term) would be a proposition pronouncing, in effect, that were a general condition which it describes fulfilled, a certain result which it describes in a general way, except so far as it may refer to some object or set of objects supposed in the condition, will be impossible, this proposition being capable of demonstration from propositions previously established, but not without imagining something more than what the condition supposes to exist; and any such proposition would be a Theorem.