Definition:Constructive Definition

From ProofWiki
Jump to navigation Jump to search

Definition

A constructive definition is a definition in which there exists an effective procedure for the construction of every object in it.


Also see

  • Results about constructive definitions can be found here.


Sources