On Mon, Jan 23, 2006 at 02:41:11PM -0500, Michael Gruninger wrote:
> The question of the equivalence of a set of axioms is not a matter of
> opinion or personal taste. (01)
How about fiat? I hereby declare Peano Arithmetic equivalent to True
Arithmetic! (02)
Take that, Kurt Gödel! (03)
:-) (04)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (05)
|