ç¾ä»£ã®æ•°å¦è€…ã®ã»ã¨ã‚“ã©ã¯å½¢å¼åŒ–ã•ã‚ŒãŸæ•°å¦ã®ä½“ç³»ã§ã‚るツェルメãƒ-フレン..ç¾ä»£ã®æ•°å¦è€…ã®ã»ã¨ã‚“ã©ã¯å½¢å¼åŒ–ã•ã‚ŒãŸæ•°å¦ã®ä½“ç³»ã§ã‚るツェルメãƒ-フレンケル集åˆè«–ZFCを使ã£ã¦ã„ã¾ã™. 言åŠã•ã‚Œã¦ã„る通り, ゲーデルã®ä¸å®Œå…¨æ€§å®šç†ã«ã‚ˆã£ã¦ZFCãŒç„¡çŸ›ç›¾ã§ã‚ã‚‹ãªã‚‰ã°ZFCã¯è‡ªèº«ã®ç„¡çŸ›ç›¾æ€§ã‚’証明ã™ã‚‹ã“ã¨ãŒã§ãã¾ã›ã‚“. ZFCãŒçŸ›ç›¾ã—ã¦ã„ã‚‹å¯èƒ½æ€§ã¯ã‚ã‚Šã¾ã™. ZFCã®ç„¡çŸ›ç›¾æ€§ã«é–¢ã—ã¦ã¯, 一方ã§ZFCを用ã„ã¦å¤šãã®æ•°å¦è€…ãŒæ•°å¦ã‚’ã—ã¦ã„ã‚‹ä¸ã§ã¾ã 矛盾ãŒè¦‹ã¤ã‹ã£ã¦ãªã„ã¨ã„ã†å‚証もã‚ã‚Šã¾ã™. ä»®ã«çŸ›ç›¾ãŒè¦‹ã¤ã‹ã£ã¦ã—ã¾ã£ãŸå ´åˆ, ãã®å¾Œã®æ–¹å‘性ã¯ã„ãã¤ã‹è€ƒãˆã‚‰ã‚Œã¾ã™: 1. ãã®çŸ›ç›¾ã®è¨¼æ˜Žã‚’よã調ã¹ã¦, ãã®åŽŸå› ã‚’å–り除ã„ã¦ZFCより弱ã„æ–°ãŸãªæ•°å¦ä½“系を構築ã™ã‚‹. ã“ã‚Œã«é–¢ã—ã¦ã¯æ™®æ®µã®æ•°å¦ã‚’ã™ã‚‹éš›ã«ãƒ•ãƒ«ã§ZFCを使ã£ã¦ã„ã‚‹ã‚ã‘ã§ã¯ãªã„ã®ã§, åˆç†çš„ãªZFCより弱ã„体系を見ã¤ã‘ã‚‹ã“ã¨ãŒã§ãã‚Œã°ã“ã‚Œã¾ã§ã®æ•°å¦ã‚’続ã‘ã‚‹ã“ã¨ãŒã§ãã‚‹ã‹ã‚‚知れã¾ã›ã‚“. 2. ãã®çŸ›ç›¾ãŒã‚‚ã£ã¨æ·±åˆ»ã§ä»£æ›¿æ¡ˆãŒè¦‹ã¤ã‹
{{#tags}}- {{label}}
{{/tags}}