Definitions must contain the means of reaching a decision in a finite number off steps, and existence proofs must be conducted so that the quantity in question can be calculated with any degree of accuracy.