Eu acho que a matemática é o conjunto de sentenças verdadeiras na linguagem da teoria dos conjuntos, incluindo termos de abstração. O problema é delimitar este conjunto de frases, e isso não pode ser feito numa teoria formal. Mas ver o meu sistema semi-formal (contentual) no artigo Librationist Closures of the Paradoxes <http://www.logika.umk.pl/llp/214/2-214zwa.pdf>.
Abraços Frode -- Frode Bjørdal Professor i filosofi IFIKK, Universitetet i Oslowww.hf.uio.no/ifikk/personer/vit/fbjordal/index.html _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
