To: |
"[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|

From: |
Chris Menzel <chris.menzel@xxxxxxxxx> |

Date: |
Sun, 30 Sep 2012 00:36:03 -0500 |

Message-id: |
<CAO_JD6Pm6CD5O4ZQr_rO4TPCSWNbgRTx0r+cTof25FxkrTfS-g@xxxxxxxxxxxxxx> |

On Sat, Sep 29, 2012 at 8:05 PM, William Frank <williamf.frank@xxxxxxxxx> wrote:
It doesn't imply anything to me. It is just a simple fact about how the subset relation is introduced into set theory.
You are quite mistaken. It is impossible to define addition in terms of successor and multiplication in terms of addition and successor. You appear to be mistaking the usual recursive axioms for those operators for definitions. They are not. Full arithmetic requires all three operations. (Interestingly, exponentiation can be defined in terms of addition and multiplication.)
I have no idea what you are talking about. -chris _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (01) |

Previous by Date: | Re: [ontolog-forum] Universal Basic Semantic Structures, John F Sowa |
---|---|

Next by Date: | Re: [ontolog-forum] Universal Basic Semantic Structures, Chris Menzel |

Previous by Thread: | Re: [ontolog-forum] Universal Basic Semantic Structures, William Frank |

Next by Thread: | Re: [ontolog-forum] Universal Basic Semantic Structures, William Frank |

Indexes: | [Date]
[Thread]
[Top]
[All Lists] |