Re: Relational lattice completeness

Mikito Harakiri wrote:
> vc wrote:
> > Arithmetic incompleteness does not prevent anyone from balancing one's
> > checkbook.
>
> I'll add that before arithmetics axiomatization questions were asked,
> there was a wealth of results in different direction. Negative,
> rational, algebraic, real and complex were discovered -- these are
> several centuries of accumulated results, as opposed to metamathematics
> which is only a century old.

What do you mean by metamathematics ?

>How about "extraordinary relations"?

What about them ?

>
> http://citeseer.ist.psu.edu/hehner97relational.html
Received on Fri Apr 07 2006 - 20:50:14 CEST