|
ÊÁѤÃÊÁÒªÔ¡ | ¤ÙèÁ×Í¡ÒÃãªé | ÃÒª×èÍÊÁÒªÔ¡ | »¯Ô·Ô¹ | ¢éͤÇÒÁÇѹ¹Õé | ¤é¹ËÒ |
|
à¤Ã×èͧÁ×ͧ͢ËÑÇ¢éÍ | ¤é¹ËÒã¹ËÑÇ¢é͹Õé |
#1
|
||||
|
||||
¼Á§§¡ÒþÔÊÙ¨¹ì1+1 = 2 ·Õèãªé ÊѨ¾¨¹ì¢Í§à»ÍÒâ¹ (Peano?s axioms)
¼ÁËÒ¨Ò¡à¹çµä´é»ÃÐÁÒ³¹Õé¤ÃѺ¼Á§§¡Ñº¤ÓÇèÒ x' ·Õèà¢ÒºÍ¡ÇèÒ x' à»ç¹µÑǵÒÁ¢Í§x
(Peano?s axioms) ãËé N ¤×Í૵¢Í§¨Ó¹Ç¹¹Ñº ¨Ðä´éÇèÒ N ÊÍ´¤Åéͧ¡ÑºÊѨ¾¨¹ìµèÍ仹Õé P1: 1 à»ç¹ÊÁÒªÔ¡¢Í§ N P2: ÊÓËÃѺ·Ø¡æ x ·Õèà»ç¹ÊÁÒªÔ¡¢Í§ N ¨Ðä´éÇèÒÁÕ x' «Öè§à»ç¹ÊÁÒªÔ¡¢Í§ N àªè¹¡Ñ¹ (x' ´Ñ§¡ÅèÒÇàÃÕ¡ÇèÒ µÑǵÒÁ (successor) ¢Í§ x) P3: äÁèÁÕ x ã´æ ·Õèà»ç¹ÊÁÒªÔ¡¢Í§ N «Öè§ÁդسÊÁºÑµÔÇèÒ x'=1 P4: ãËé x,y à»ç¹ÊÁÒªÔ¡ã´æ¢Í§ N ¨Ðä´éÇèÒ x'=y' ¡çµèÍàÁ×èÍ x=y P5: ãËé S à»ç¹ÊѺ૵¢Í§ N ¶éÒà§×è͹䢵èÍ仹Õéà»ç¹¨ÃÔ§ 1) 1 à»ç¹ÊÁÒªÔ¡¢Í§ S áÅÐ 2) ¶éÒ x à»ç¹ÊÁÒªÔ¡¢Í§ S áÅéÇ x' à»ç¹ÊÁÒªÔ¡¢Í§ S ´éÇ áÅéǨÐä´éÇèÒ S=N |
ËÑÇ¢éͤÅéÒ¤ÅÖ§¡Ñ¹ | ||||
ËÑÇ¢éÍ | ¼ÙéµÑé§ËÑÇ¢éÍ | Ëéͧ | ¤ÓµÍº | ¢éͤÇÒÁÅèÒÊØ´ |
ªèÇÂàªç¤ãËé´éǤÃѺ Separation Axioms | Lekkoksung | ¤³ÔµÈÒʵÃìÍØ´ÁÈÖ¡ÉÒ | 5 | 20 Á¡ÃÒ¤Á 2013 11:21 |
ú¡Ç¹Ë¹èͤÃѺ ʧÊÑÂàÃ×èͧ group axioms | rigor | ¾Õª¤³Ôµ | 2 | 20 ¡Ñ¹ÂÒ¹ 2010 16:15 |
|
|