In article <PM00048BE542696AEA@aca376f4.ipt.aol.com>, jmfbahciv <See.email@example.com> wrote:
> [spit a newsgroup] > > Huang wrote: > > <snip > > > > > Starting with some preliminaries: > > > > If one adopts the view of existential indeterminacy then you dont > > really have axioms which form the basis of mathematics. There should > > be a conjectural equivalent of every axiom, but strictly speaking > > there are no true axioms in the sense of mathematics. > > You don't have any idea what mathematics is.
Perhaps Huang is referring to Godel's theorem but ignoring the part that states that we can know an axiom is correct but not prove it within its own system.