What planning steps should be taken to start the QED project?
|First||enumerate and describe the kinds of things that would be found in the QED system|
|Second||establish some `milestones' or some priority list of objectives|
|Third||to accumulate the basic mathematical texts that are to be formalized|
|Fourth||to achieve consensus about the statement of the most important definitions and theorems in mathematics|