-1×-1 = 1を証明ã—ã¦ãã ã•ã„。 例ã¨ã‹ä¾‹ãˆã§ã¯ãªãã€ä»¥ä¸‹ã®ã€Œãƒšã‚¢ãƒŽã®å…¬ç†ã«ã‚ˆã‚‹1+1=2ã®è¨¼æ˜Žã€ã¨åŒã˜ãらã„厳密ãªè¨¼æ˜Žã‚’ãŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚…-1×-1 = 1を証明ã—ã¦ãã ã•ã„。 例ã¨ã‹ä¾‹ãˆã§ã¯ãªãã€ä»¥ä¸‹ã®ã€Œãƒšã‚¢ãƒŽã®å…¬ç†ã«ã‚ˆã‚‹1+1=2ã®è¨¼æ˜Žã€ã¨åŒã˜ãらã„厳密ãªè¨¼æ˜Žã‚’ãŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚ http://d.hatena.ne.jp/tomo31415926563/20090110/1272413984 ペアノã®å…¬ç† 自然数ã¯ä»¥ä¸‹ã‚’満ãŸã™ã€‚ (1)自然数 0 ãŒå˜åœ¨ã™ã‚‹ã€‚ (2)ä»»æ„ã®è‡ªç„¶æ•° a ã«ã¯ãã®å¾Œè€… (successor)ã€suc(a) ãŒå˜åœ¨ã™ã‚‹ï¼ˆsuc(a) 㯠a + 1 ã® "æ„味"）。 (3)0 ã¯ã„ã‹ãªã‚‹è‡ªç„¶æ•°ã®å¾Œè€…ã§ã‚‚ãªã„（0 よりå‰ã®è‡ªç„¶æ•°ã¯å˜åœ¨ã—ãªã„）。 (4)ç•°ãªã‚‹è‡ªç„¶æ•°ã¯ç•°ãªã‚‹å¾Œè€…ã‚’æŒã¤ã€‚ã¤ã¾ã‚Š a ≠b ã®ã¨ã suc(a) ≠suc(b) ã¨ãªã‚‹ã€‚ (5) 0 ãŒã‚る性質を満ãŸã—ã€a ãŒã‚る性質を満ãŸã›ã°ãã®å¾Œè€… suc(a) ã‚‚ãã®æ€§è³ªã‚’満ãŸã™ã¨ãã€ã™ã¹ã¦ã®è‡ªç„¶æ•°ã¯ãã®æ€§è³ªã‚’満ãŸã™ã€‚ ペア
{{#tags}}- {{label}}
{{/tags}}