Date: Aug 20, 2013 11:13 PM
Author: William Elliot
Subject: Re: Foundations of mathematics... the order of bootstrapping the<br> foundations
On Tue, 20 Aug 2013, Lax Clarke wrote:

> Please correct me if I'm wrong please:

> This is the order of bootstrapping the foundations of mathematics:

>

Boot strapping has nothing to do with mathematics.

It's part of computer science.

> 1) Naive logic (like the ones the Greeks played with).

> 2) Use 1) to talk about Naive Set theory (like Halmos' book).

> 3) Use 2) above to define Mathematical Logic / First-Order Logic

> 4) Use 3) above to define axiomatic set theory.

A metalanguage is used to dacribe a formal language.