æ•°å¦ã¯ç¥žã®å˜åœ¨ã‚’証明ã§ãã‚‹ã®ã‹ï¼Ÿå®—æ•™æƒ…å ±ãªã©ã‚’扱ã†ç±³ã‚ªãƒ³ãƒ©ã‚¤ãƒ³ãƒ¡ãƒ‡ã‚£ã‚¢ã€Œãƒ‘セオスã€ã¯æœ€è¿‘ã®è¨˜äº‹ï¼ˆè‹±èªžï¼‰ã§ã€ã‚ªãƒ¼ã‚¹ãƒˆãƒªã‚¢ãƒ»ãƒãƒ³ã‚¬ãƒªãƒ¼äºŒé‡å¸å›½ï¼ˆç¾ãƒã‚§ã‚³ï¼‰ã®è«–ç†å¦è€…クルト・ゲーデル（Kurt Gödelã€ï¼‘ï¼™ï¼ï¼–〜７８）ã«ã‚ˆã‚‹ç¥žã®å˜åœ¨ã«é–¢ã™ã‚‹ã€Œæ•°å¦çš„ãªè¨¼æ˜Žã€ã¯å®Œå…¨ã«æ£ã—ã„ã‚‚ã®ã ã£ãŸã¨ä¸»å¼µã—ã¦ã„る２人ã®ã‚³ãƒ³ãƒ”ューター科å¦è€…ã«ã¤ã„ã¦å–り上ã’ãŸã€‚ パセオスãŒå–り上ã’ãŸï¼’人ã®ã‚³ãƒ³ãƒ”ューター科å¦è€…ã¯ã€ãƒ™ãƒ«ãƒªãƒ³è‡ªç”±å¤§å¦ã®ã‚¯ãƒªã‚¹ãƒˆãƒ•ãƒ»ãƒ™ãƒ³ãƒ„ミュラー（Christoph Benzmüller）æ°ã¨ã‚¦ã‚£ãƒ¼ãƒ³å·¥ç§‘大å¦ã®ãƒ–ルーノ・ボルツェンãƒãƒ¼ã‚²ãƒ«ãƒ»ãƒ‘レオ（Bruno Woltzenlogel Paleo）æ°ã€‚２人ã¯ï¼’ï¼ï¼‘３年ã€æœ€å…ˆç«¯ã®ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’使ã„ã€ç¥žã¯å˜åœ¨ã™ã‚‹ã¨ã™ã‚‹ã‚²ãƒ¼ãƒ‡ãƒ«ã®çµè«–ãŒã€å½¼ã®ç«‹ã¦ãŸä»®å®šã‚„å‰æã¨è«–ç†çš„ã«æ•´åˆã™ã‚‹ã“ã¨ã‚’立証ã—ãŸã€‚ã“ã‚Œã¯ã¤ã¾ã‚Šã€ã‚²ãƒ¼ãƒ‡ãƒ«ã®å‰æãŒæ£ã—ã‘ã‚Œã°ã€ãã®çµè«–（神ã¯å˜åœ¨ã™ã‚‹ï¼‰ã‚‚æ£ã—ã„ã¨ã„ã†ã“ã¨ãŒè¨¼æ˜Žã•ã‚ŒãŸã“ã¨ã§ã‚
{{#tags}}- {{label}}
{{/tags}}