[FOM] Re: On the Nature of Mathematical Objects

Karlis Podnieks Karlis.Podnieks at mii.lu.lv
Mon Aug 16 01:52:17 EDT 2004


----- Original Message ----- 
From: "Dmytro Taranovsky" <dmytro at mit.edu>
Sent: Saturday, August 14, 2004 12:45 AM

...
> One must distinguish between set theory as the study of sets, the first
order
> language of membership relation, and ZFC.
...
> It is the language of set theory, which has "relatively (it is even
tempting to
> say - absolutely - but this is definitely not true) universal character."
...
Dmytro Taranovsky

As an uninterpreted first order language of a binary relation, the language
of set theory is "about arbitrary oriented graphs". Is there an easy way to
select, among them, "graphs of sets"? And, are "graphs of sets" the only
possible kind of oriented graphs allowing to express the entire mathematics?

Best wishes,
Karlis.Podnieks at mii.lu.lv
www.ltn.lv/~podnieks
Institute of Mathematics and Computer Science
University of Latvia




More information about the FOM mailing list