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 |

Second

Third

Fourth