ontac-forum
[Top] [All Lists]

Re: [ontac-forum] Result of vote: Type

To: ONTAC-WG General Discussion <ontac-forum@xxxxxxxxxxxxxx>
From: Chris Menzel <cmenzel@xxxxxxxx>
Date: Mon, 23 Jan 2006 14:11:12 -0600
Message-id: <20060123201112.GD699@xxxxxxxx>
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)
<Prev in Thread] Current Thread [Next in Thread>