[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/3235#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/3235","headline":"\u30b2\u30fc\u30c7\u30eb\u306e\u5b8c\u5168\u6027\u5b9a\u7406","name":"\u30b2\u30fc\u30c7\u30eb\u306e\u5b8c\u5168\u6027\u5b9a\u7406","description":"before-content-x4 \u3053\u306e\u8a18\u4e8b\u307e\u305f\u306f\u30bb\u30af\u30b7\u30e7\u30f3\u306b\u306f\u3001\u8a8d\u5b9a\u3055\u308c\u305f\u51fa\u7248\u7269\u306b\u8868\u793a\u3055\u308c\u308b\u53c2\u7167\u304c\u5fc5\u8981\u3067\u3059\u3002 \u3053\u306e\u901a\u77e5\u306f2017\u5e747\u670811\u65e5\u306b\u914d\u7f6e\u3055\u308c\u307e\u3057\u305f\u3002 after-content-x4 \u30b2\u30fc\u30c7\u30eb\u306e\u5b8c\u5168\u6027\u5b9a\u7406\u5f0f\u3002 \u5f7c \u30b2\u30fc\u30c7\u30eb\u306e\u5b8c\u5168\u6027\u5b9a\u7406 \u3053\u308c\u306f\u6570\u5b66\u8ad6\u7406\u306e\u91cd\u8981\u306a\u5b9a\u7406\u3067\u3042\u308a\u30011929\u5e74\u306b\u30ab\u30fc\u30c8\u30fb\u30b2\u30fc\u30c7\u30eb\u306b\u3088\u3063\u3066\u6700\u521d\u306b\u5b9f\u8a3c\u3055\u308c\u3001\u305d\u306e\u6700\u3082\u3088\u304f\u77e5\u3089\u308c\u3066\u3044\u308b\u5f62\u3067\u6b21\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3057\u305f\u3002 after-content-x4 \u300c\u5b9f\u8a3c\u53ef\u80fd\u300d\u3068\u3044\u3046\u8a00\u8449\u306f\u3001\u30d5\u30a9\u30fc\u30df\u30e5\u30e9\u306e\u6b63\u5f0f\u306a\u63a7\u9664\u304c\u3042\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u63a7\u9664\u306f\u3001\u57fa\u672c\u7684\u306a\u63a8\u8ad6\u30eb\u30fc\u30eb\u3092\u901a\u3058\u3066\u3001\u5404\u30b9\u30c6\u30c3\u30d7\u307e\u305f\u306f\u516c\u7406\u3092\u547c\u3073\u51fa\u3059\u304b\u3001\u4ee5\u524d\u306e\u624b\u9806\u304b\u3089\u53d6\u5f97\u3059\u308b\u30b9\u30c6\u30c3\u30d7\u306e\u6709\u9650\u30ea\u30b9\u30c8\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u306e\u63a7\u9664\u304b\u3089\u3001\u5404\u30b9\u30c6\u30c3\u30d7\u304c\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306b\u3088\u3063\u3066\u6b63\u3057\u3044\u304b\u3069\u3046\u304b\u3092\u78ba\u8a8d\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff08\u305f\u3068\u3048\u3070\u3001\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u307e\u305f\u306f\u624b\u3067\uff09\u3002 \u30d5\u30a9\u30fc\u30df\u30e5\u30e9\u306f\u3067\u3059 \u8ad6\u7406\u7684\u306b\u6709\u52b9\u3067\u3059 \u5f0f\u3067\u4f7f\u7528\u3055\u308c\u308b\u8a00\u8a9e\u306e\u3059\u3079\u3066\u306e\u30e2\u30c7\u30eb\u3067\u305d\u308c\u304c\u771f\u3067\u3042\u308b\u5834\u5408\u3002 G\u00f6del\u306e\u5b8c\u5168\u6027\u5b9a\u7406\u3092\u6b63\u5f0f\u306b\u8868\u73fe\u3059\u308b\u306b\u306f\u3001\u5358\u8a9e\u306e\u610f\u5473\u3092\u5b9a\u7fa9\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059 \u30e2\u30c7\u30eb \u3053\u306e\u6587\u8108\u3067\u3002\u3053\u308c\u306f\u3001\u30e2\u30c7\u30eb\u7406\u8ad6\u306e\u57fa\u672c\u7684\u306a\u5b9a\u7fa9\u3067\u3059\u3002 G\u00f6del\u306e\u5b9a\u7406\u306f\u3001\u4e00\u6b21\u30ed\u30b8\u30c3\u30af\u306b\u304a\u3051\u308b\u610f\u5473\u7684\u771f\u5b9f\u3068\u69cb\u6587\u306e\u78ba\u7387\u3068\u306e\u5bfe\u5fdc\u3092\u78ba\u7acb\u3057\u307e\u3059\u3002\u7570\u306a\u308b\u30e2\u30c7\u30eb\u3067\u771f\u306e\u3082\u306e\u3092\u6271\u3046\u30e2\u30c7\u30eb\u306e\u7406\u8ad6\u3068\u3001\u7279\u5b9a\u306e\u6b63\u5f0f\u306a\u30b7\u30b9\u30c6\u30e0\u3067\u6b63\u5f0f\u306b\u8a3c\u660e\u3067\u304d\u308b\u3082\u306e\u3092\u7814\u7a76\u3059\u308b\u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3\u7406\u8ad6\u3068\u306e\u9593\u306b\u30ea\u30f3\u30af\u3092\u4f5c\u6210\u3057\u307e\u3059\u3002 G\u00f6del\u306f\u5b8c\u5168\u6027\u5b9a\u7406\u3092\u4f7f\u7528\u3057\u3066\u30b3\u30f3\u30d1\u30af\u30c8\u3055\u306e\u5b9a\u7406\u3092\u30c6\u30b9\u30c8\u3057\u3001\u8ad6\u7406\u7684\u7d50\u679c\u306e\u30aa\u30da\u30ec\u30fc\u30bf\u30fc\u306e\u6709\u9650\u6027\u3092\u5b9f\u8a3c\u3057\u307e\u3057\u305f\u3002\u3053\u308c\u3089\u306e\u7d50\u679c\u306f\u3001\u73fe\u5728\u306e\u6570\u5b66\u306b\u304a\u3051\u308b\u652f\u914d\u7684\u306a\u30ed\u30b8\u30c3\u30af\u306e\u30bf\u30a4\u30d7\u3068\u3057\u3066\u3001\u6700\u521d\u306e\u6ce8\u6587\u8ad6\u7406\u3092\u78ba\u7acb\u3059\u308b\u306e\u306b\u5f79\u7acb\u3061\u307e\u3057\u305f\u3002 \u305d\u306e\u5f8c\u30011947\u5e74\u306b\u30ec\u30aa\u30f3\u30fb\u30d8\u30f3\u30ad\u30f3\u304c\u535a\u58eb\u8ad6\u6587\u3067\u3001\u30c6\u30b9\u30c8\u306e\u56f0\u96e3\u306a\u90e8\u5206\u3092\u5b58\u5728\u306e\u5b9a\u7406\u30e2\u30c7\u30eb\u3068\u3057\u3066\u63d0\u793a\u3067\u304d\u308b\u3053\u3068\u3092\u89b3\u5bdf\u3057\u305f\u3068\u304d\u306b\u5358\u7d14\u5316\u3055\u308c\u307e\u3057\u305f\uff081949\u5e74\u306b\u516c\u958b\uff09\u3002\u6b21\u306b\u3001\u30d8\u30f3\u30ad\u30f3\u306e\u30c6\u30b9\u30c8\u306f\u30011953\u5e74\u306bGisbert Hasenjaeger\u306b\u3088\u3063\u3066\u7c21\u7d20\u5316\u3055\u308c\u307e\u3057\u305f\u3002","datePublished":"2021-09-15","dateModified":"2021-09-15","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/author\/lordneo","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/1\/1f\/Commons-emblem-question_book_orange.svg\/40px-Commons-emblem-question_book_orange.svg.png","url":"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/thumb\/1\/1f\/Commons-emblem-question_book_orange.svg\/40px-Commons-emblem-question_book_orange.svg.png","height":"40","width":"40"},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/3235","wordCount":1482,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4 \u3053\u306e\u8a18\u4e8b\u307e\u305f\u306f\u30bb\u30af\u30b7\u30e7\u30f3\u306b\u306f\u3001\u8a8d\u5b9a\u3055\u308c\u305f\u51fa\u7248\u7269\u306b\u8868\u793a\u3055\u308c\u308b\u53c2\u7167\u304c\u5fc5\u8981\u3067\u3059\u3002 \u3053\u306e\u901a\u77e5\u306f2017\u5e747\u670811\u65e5\u306b\u914d\u7f6e\u3055\u308c\u307e\u3057\u305f\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4 \u30b2\u30fc\u30c7\u30eb\u306e\u5b8c\u5168\u6027\u5b9a\u7406\u5f0f\u3002 \u5f7c \u30b2\u30fc\u30c7\u30eb\u306e\u5b8c\u5168\u6027\u5b9a\u7406 \u3053\u308c\u306f\u6570\u5b66\u8ad6\u7406\u306e\u91cd\u8981\u306a\u5b9a\u7406\u3067\u3042\u308a\u30011929\u5e74\u306b\u30ab\u30fc\u30c8\u30fb\u30b2\u30fc\u30c7\u30eb\u306b\u3088\u3063\u3066\u6700\u521d\u306b\u5b9f\u8a3c\u3055\u308c\u3001\u305d\u306e\u6700\u3082\u3088\u304f\u77e5\u3089\u308c\u3066\u3044\u308b\u5f62\u3067\u6b21\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3057\u305f\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u300c\u5b9f\u8a3c\u53ef\u80fd\u300d\u3068\u3044\u3046\u8a00\u8449\u306f\u3001\u30d5\u30a9\u30fc\u30df\u30e5\u30e9\u306e\u6b63\u5f0f\u306a\u63a7\u9664\u304c\u3042\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u63a7\u9664\u306f\u3001\u57fa\u672c\u7684\u306a\u63a8\u8ad6\u30eb\u30fc\u30eb\u3092\u901a\u3058\u3066\u3001\u5404\u30b9\u30c6\u30c3\u30d7\u307e\u305f\u306f\u516c\u7406\u3092\u547c\u3073\u51fa\u3059\u304b\u3001\u4ee5\u524d\u306e\u624b\u9806\u304b\u3089\u53d6\u5f97\u3059\u308b\u30b9\u30c6\u30c3\u30d7\u306e\u6709\u9650\u30ea\u30b9\u30c8\u3067\u69cb\u6210\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u3053\u306e\u63a7\u9664\u304b\u3089\u3001\u5404\u30b9\u30c6\u30c3\u30d7\u304c\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u306b\u3088\u3063\u3066\u6b63\u3057\u3044\u304b\u3069\u3046\u304b\u3092\u78ba\u8a8d\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff08\u305f\u3068\u3048\u3070\u3001\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u307e\u305f\u306f\u624b\u3067\uff09\u3002 \u30d5\u30a9\u30fc\u30df\u30e5\u30e9\u306f\u3067\u3059 \u8ad6\u7406\u7684\u306b\u6709\u52b9\u3067\u3059 \u5f0f\u3067\u4f7f\u7528\u3055\u308c\u308b\u8a00\u8a9e\u306e\u3059\u3079\u3066\u306e\u30e2\u30c7\u30eb\u3067\u305d\u308c\u304c\u771f\u3067\u3042\u308b\u5834\u5408\u3002 G\u00f6del\u306e\u5b8c\u5168\u6027\u5b9a\u7406\u3092\u6b63\u5f0f\u306b\u8868\u73fe\u3059\u308b\u306b\u306f\u3001\u5358\u8a9e\u306e\u610f\u5473\u3092\u5b9a\u7fa9\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059 \u30e2\u30c7\u30eb \u3053\u306e\u6587\u8108\u3067\u3002\u3053\u308c\u306f\u3001\u30e2\u30c7\u30eb\u7406\u8ad6\u306e\u57fa\u672c\u7684\u306a\u5b9a\u7fa9\u3067\u3059\u3002 G\u00f6del\u306e\u5b9a\u7406\u306f\u3001\u4e00\u6b21\u30ed\u30b8\u30c3\u30af\u306b\u304a\u3051\u308b\u610f\u5473\u7684\u771f\u5b9f\u3068\u69cb\u6587\u306e\u78ba\u7387\u3068\u306e\u5bfe\u5fdc\u3092\u78ba\u7acb\u3057\u307e\u3059\u3002\u7570\u306a\u308b\u30e2\u30c7\u30eb\u3067\u771f\u306e\u3082\u306e\u3092\u6271\u3046\u30e2\u30c7\u30eb\u306e\u7406\u8ad6\u3068\u3001\u7279\u5b9a\u306e\u6b63\u5f0f\u306a\u30b7\u30b9\u30c6\u30e0\u3067\u6b63\u5f0f\u306b\u8a3c\u660e\u3067\u304d\u308b\u3082\u306e\u3092\u7814\u7a76\u3059\u308b\u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3\u7406\u8ad6\u3068\u306e\u9593\u306b\u30ea\u30f3\u30af\u3092\u4f5c\u6210\u3057\u307e\u3059\u3002 G\u00f6del\u306f\u5b8c\u5168\u6027\u5b9a\u7406\u3092\u4f7f\u7528\u3057\u3066\u30b3\u30f3\u30d1\u30af\u30c8\u3055\u306e\u5b9a\u7406\u3092\u30c6\u30b9\u30c8\u3057\u3001\u8ad6\u7406\u7684\u7d50\u679c\u306e\u30aa\u30da\u30ec\u30fc\u30bf\u30fc\u306e\u6709\u9650\u6027\u3092\u5b9f\u8a3c\u3057\u307e\u3057\u305f\u3002\u3053\u308c\u3089\u306e\u7d50\u679c\u306f\u3001\u73fe\u5728\u306e\u6570\u5b66\u306b\u304a\u3051\u308b\u652f\u914d\u7684\u306a\u30ed\u30b8\u30c3\u30af\u306e\u30bf\u30a4\u30d7\u3068\u3057\u3066\u3001\u6700\u521d\u306e\u6ce8\u6587\u8ad6\u7406\u3092\u78ba\u7acb\u3059\u308b\u306e\u306b\u5f79\u7acb\u3061\u307e\u3057\u305f\u3002 \u305d\u306e\u5f8c\u30011947\u5e74\u306b\u30ec\u30aa\u30f3\u30fb\u30d8\u30f3\u30ad\u30f3\u304c\u535a\u58eb\u8ad6\u6587\u3067\u3001\u30c6\u30b9\u30c8\u306e\u56f0\u96e3\u306a\u90e8\u5206\u3092\u5b58\u5728\u306e\u5b9a\u7406\u30e2\u30c7\u30eb\u3068\u3057\u3066\u63d0\u793a\u3067\u304d\u308b\u3053\u3068\u3092\u89b3\u5bdf\u3057\u305f\u3068\u304d\u306b\u5358\u7d14\u5316\u3055\u308c\u307e\u3057\u305f\uff081949\u5e74\u306b\u516c\u958b\uff09\u3002\u6b21\u306b\u3001\u30d8\u30f3\u30ad\u30f3\u306e\u30c6\u30b9\u30c8\u306f\u30011953\u5e74\u306bGisbert Hasenjaeger\u306b\u3088\u3063\u3066\u7c21\u7d20\u5316\u3055\u308c\u307e\u3057\u305f\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Table of Contents\u5b9a\u7406\u58f0\u660e [ \u7de8\u96c6\u3057\u307e\u3059 ] \u5e8f\u7ae0 [ \u7de8\u96c6\u3057\u307e\u3059 ] G\u00f6del\u306e\u5143\u306e\u5b9a\u5f0f\u5316 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u30e2\u30c7\u30eb\u306e\u5b58\u5728\u306e\u5b9a\u7406 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u30aa\u30ea\u30b8\u30ca\u30eb\u306e\u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u73fe\u4ee3\u306e\u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u53c2\u7167 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u66f8\u8a8c [ \u7de8\u96c6\u3057\u307e\u3059 ] \u5916\u90e8\u30ea\u30f3\u30af [ \u7de8\u96c6\u3057\u307e\u3059 ] \u5b9a\u7406\u58f0\u660e [ \u7de8\u96c6\u3057\u307e\u3059 ] \u5e8f\u7ae0 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u5f0f\u306e\u8a00\u8a9e\uff08\u3064\u307e\u308a\u3001\u5f0f\u306e\u5909\u6570\u3078\u306e\u5024\u306e\u5272\u308a\u5f53\u3066\uff09\u306b\u5bfe\u3057\u3066\u5404\u69cb\u9020\u3067\u771f\u3067\u3042\u308b\u5834\u5408\u3001\u6700\u521d\u306e\u9806\u5e8f\u5f0f\u306f\u8ad6\u7406\u7684\u306b\u6709\u52b9\u3068\u547c\u3070\u308c\u307e\u3059\u3002\u6574\u5408\u6027\u5b9a\u7406\u3092\u6b63\u5f0f\u306b\u5ba3\u8a00\u3057\u3001\u305d\u308c\u3092\u5b9f\u8a3c\u3059\u308b\u306b\u306f\u3001\u6f14ductive\u7684\u306a\u30b7\u30b9\u30c6\u30e0\u3092\u5b9a\u7fa9\u3059\u308b\u3053\u3068\u3082\u5fc5\u8981\u3067\u3059\u3002\u8ad6\u7406\u7684\u306b\u6709\u52b9\u306a\u5f0f\u304c\u6b63\u5f0f\u306a\u63a7\u9664\u306e\u7d50\u8ad6\u3067\u3042\u308b\u5834\u5408\u3001\u6f14ductive\u30b7\u30b9\u30c6\u30e0\u306f\u5b8c\u5168\u306a\u3082\u306e\u3068\u547c\u3070\u308c\u3001\u7279\u5b9a\u306e\u6f14ductive\u30b7\u30b9\u30c6\u30e0\u306e\u5b8c\u5168\u6027\u5b9a\u7406\u306f\u3001\u3053\u306e\u70b9\u3067\u5b8c\u5168\u306a\u5b9a\u7406\u3067\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u3042\u308b\u610f\u5473\u3067\u306f\u3001\u5404\u6f14ductive\u30b7\u30b9\u30c6\u30e0\u306b\u7570\u306a\u308b\u5b8c\u5168\u6027\u5b9a\u7406\u304c\u3042\u308a\u307e\u3059\u3002\u6574\u5408\u6027\u3068\u4e00\u7dd2\u306b\u91cd\u8981\u306a\u3053\u3068\u306f\u5805\u5b9f\u3055\u3067\u3059\u3002\u3053\u308c\u306f\u3001\u8ad6\u7406\u7684\u306b\u6709\u52b9\u306a\u5f0f\u306e\u307f\u304c\u6f14ductive\u30b7\u30b9\u30c6\u30e0\u3067\u5b9f\u8a3c\u53ef\u80fd\u3067\u3042\u308b\u3068\u3044\u3046\u4e8b\u5b9f\u3067\u3059\u3002 \u4e00\u6b21\u30ed\u30b8\u30c3\u30af\u306e\u7279\u5b9a\u306e\u6f14ductive\u30b7\u30b9\u30c6\u30e0\u304c\u56fa\u4f53\u3067\u5b8c\u5168\u3067\u3042\u308b\u5834\u5408\u3001\u305d\u308c\u306f\u300c\u5b8c\u5168\u300d\uff08\u516c\u7406\u306e\u610f\u5473\u7684\u306a\u7d50\u679c\u3067\u3042\u308b\u5834\u5408\u306b\u306e\u307f\u30d5\u30a9\u30fc\u30df\u30e5\u30e9\u304c\u5b9f\u8a3c\u53ef\u80fd\u3067\u3059\uff09\u3067\u3042\u308a\u3001\u540c\u3058\u54c1\u8cea\u3092\u6301\u3064\u4ed6\u306e\u6f14ductive\u30b7\u30b9\u30c6\u30e0\u306b\u76f8\u5f53\u3057\u307e\u3059\uff08\u3042\u308b\u30b7\u30b9\u30c6\u30e0\u306e\u30c6\u30b9\u30c8\u306f\u4ed6\u306e\u30b7\u30b9\u30c6\u30e0\u306b\u306a\u308a\u307e\u3059\uff09\u3002 G\u00f6del\u306e\u5143\u306e\u5b9a\u5f0f\u5316 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u6574\u5408\u6027\u5b9a\u7406\u306f\u3001\u5f0f\u304c\u8ad6\u7406\u7684\u306b\u6709\u52b9\u3067\u3042\u308b\u5834\u5408\u3001\u5f0f\u306e\u6709\u9650\u63a7\u9664\uff08\u6b63\u5f0f\u306a\u30c6\u30b9\u30c8\uff09\u304c\u3042\u308b\u3068\u8a00\u3044\u307e\u3059\u3002 G\u00f6del\u5b8c\u5168\u6027\u5b9a\u7406\u306f\u3001\u3059\u3079\u3066\u306e\u8ad6\u7406\u7684\u306b\u6709\u52b9\u306a\u5f0f\u3092\u30c6\u30b9\u30c8\u3059\u308b\u305f\u3081\u306b\u8ffd\u52a0\u306e\u63a8\u8ad6\u30eb\u30fc\u30eb\u304c\u5fc5\u8981\u306a\u3044\u3068\u3044\u3046\u610f\u5473\u3067\u3001\u6700\u521d\u306e\u9806\u5e8f\u8ff0\u8a9e\u306e\u8a08\u7b97\u306e\u6f14ductive\u7684\u306a\u30b7\u30b9\u30c6\u30e0\u306f\u300c\u5b8c\u5168\u300d\u3067\u3042\u308b\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002\u6574\u5408\u6027\u3068\u3068\u3082\u306b\u3001\u5805\u7262\u6027\u3092\u8003\u616e\u306b\u5165\u308c\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u3053\u308c\u306f\u3001\u8ad6\u7406\u7684\u306b\u6709\u52b9\u306a\u5f0f\u306e\u307f\u304c\u6f14ductive\u30b7\u30b9\u30c6\u30e0\u3067\u5b9f\u8a3c\u53ef\u80fd\u3067\u3042\u308b\u3068\u3044\u3046\u4e8b\u5b9f\u3067\u3059\u3002\u5805\u5b9f\u3055\uff08\u305d\u306e\u691c\u8a3c\u304c\u5bb9\u6613\u306a\uff09\u3068\u3068\u3082\u306b\u3001\u3053\u306e\u5b9a\u7406\u306f\u3001\u6b63\u5f0f\u306a\u63a7\u9664\u306e\u7d50\u8ad6\u3067\u3042\u308b\u5834\u5408\u306b\u306e\u307f\u3001\u5f0f\u304c\u8ad6\u7406\u7684\u306b\u6709\u52b9\u3067\u3042\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002 \u30e2\u30c7\u30eb\u306e\u5b58\u5728\u306e\u5b9a\u7406 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u3053\u306e\u5b9a\u7406\u306e\u6700\u3082\u5358\u7d14\u306a\u30d0\u30fc\u30b8\u30e7\u30f3\u306f\u3001\u307b\u3068\u3093\u3069\u306e\u30cb\u30fc\u30ba\u306b\u5408\u308f\u305b\u3066\u5b9f\u969b\u306b\u5341\u5206\u3067\u3042\u308a\u3001L\u00f6wenheim-Skolem\u5b9a\u7406\u3068\u3064\u306a\u304c\u308a\u304c\u3042\u308b\u3068\u8a00\u3044\u307e\u3059\u3002 \u305d\u308c\u305e\u308c\u306e\u6700\u521d\u306e\u79e9\u5e8f\u306e\u4e00\u8cab\u6027\u3068\u4f1a\u8a08\u7406\u8ad6\u306b\u306f\u3001\u6709\u9650\u307e\u305f\u306f\u4f1a\u8a08\u30e2\u30c7\u30eb\u304c\u3042\u308a\u307e\u3059\u3002 \u3088\u308a\u4e00\u822c\u7684\u306a\u30d0\u30fc\u30b8\u30e7\u30f3\u306f\u3001\u6b21\u306e\u3088\u3046\u306b\u8868\u73fe\u3067\u304d\u307e\u3059\u3002 \u3088\u304f\u6ce8\u6587\u3055\u308c\u305f\u8a00\u8a9e\u3092\u4f7f\u7528\u3057\u305f\u3059\u3079\u3066\u306e\u6700\u521d\u306e\u6ce8\u6587\u30b3\u30d2\u30fc\u30ec\u30f3\u30c8\u7406\u8ad6\u306b\u306f\u3001\u30e2\u30c7\u30eb\u304c\u3042\u308a\u307e\u3059\u3002 \u3053\u3053\u3067\u306f\u3001\u4e00\u8cab\u3057\u305f\u7406\u8ad6\u306f\u3001\u300cF\u300d\u3068\u300cf\u300d\u306e\u4e21\u65b9\u304c\u8a3c\u660e\u3067\u304d\u308b\u300cF\u300d\u3068\u5f0f\u306e\u300cF\u300d\u306a\u3057\u3067\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u4e00\u8cab\u6027\u3001\u69cb\u6587\u5b9a\u7fa9\u3092\u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044\u3002\u3053\u306e\u6587\u8108\u3067\u306f\u3001\u30bb\u30de\u30f3\u30c6\u30a3\u30c3\u30af\u306a\u5b9a\u7fa9\u306f\u4e26\u5916\u308c\u305f\u3082\u306e\u306b\u306a\u308a\u307e\u3059\u3002 \u3053\u306e\u30d8\u30f3\u30ad\u30f3\u306e\u5b9a\u7406\u306f\u3001\u6700\u3082\u5358\u7d14\u306a\u30c6\u30b9\u30c8\u3067\u5b8c\u5168\u6027\u5b9a\u7406\u304b\u3089\u5f97\u3089\u308c\u308b\u6700\u3082\u76f4\u63a5\u7684\u306a\u30d0\u30fc\u30b8\u30e7\u30f3\u3067\u3059\u3002 \u30d8\u30f3\u30ad\u30f3\u306e\u5b9a\u7406\u3092\u8003\u3048\u308b\u3068\u3001\u5b8c\u5168\u6027\u5b9a\u7406\u306e\u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\u3002 \u30d5\u30a1\u30a4 \u22a8 a {displaystylephi\u30e2\u30c7\u30eba} \u305d\u306e\u5834\u5408\u3001\u305d\u308c\u306f\u6709\u52b9\u3067\u3059 \u30d5\u30a1\u30a4 \u222a \u00ac a {displaystyle non -cup lnot a} \u30e2\u30c7\u30eb\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u30d8\u30f3\u30ad\u30f3\u306e\u30b3\u30f3\u30c8\u30e9\u30b9\u30c8\u306e\u305f\u3081\u306b \u00ac a {displaystyle lnot a} \u305d\u308c\u306f\u4e00\u8cab\u6027\u306e\u306a\u3044\u30d5\u30a9\u30fc\u30df\u30e5\u30e9\u3067\u3059\u3002\u3057\u304b\u3057\u3001\u4e00\u8cab\u6027\u306e\u5b9a\u7fa9\u306e\u305f\u3081\u306b\u3001if \u30d5\u30a1\u30a4 \u222a \u00ac a {displaystyle non -cup lnot a} \u305d\u308c\u306f\u77db\u76fe\u3057\u3066\u3044\u308b\u306e\u3067\u3001\u306e\u30c6\u30b9\u30c8\u3092\u4f5c\u6210\u3059\u308b\u3053\u3068\u304c\u53ef\u80fd\u3067\u3059 \u30d5\u30a1\u30a4 \u22a2 a {displaystylephi vdash a} \u3002 \u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u30aa\u30ea\u30b8\u30ca\u30eb\u306e\u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3 [ \u7de8\u96c6\u3057\u307e\u3059 ] 1930\u5e74\u3001\u30b2\u30fc\u30c7\u30eb\u306f\u6700\u521d\u306e\u30aa\u30fc\u30c0\u30fc\u5b9a\u91cf\u30ed\u30b8\u30c3\u30af\u306e\u5b8c\u5168\u6027\u3092\u5b9f\u8a3c\u3057\u307e\u3057\u305f\u3002\u6587\u5b57\u901a\u308a\u3001G\u00f6del\u306e\u5b8c\u5168\u6027\u5b9a\u7406\u306f\u3001\u300cA\u304c\u8ad6\u7406\u7684\u306b\u771f\u3067\u3042\u308b\u5834\u5408\u3001\u6700\u521d\u306e\u9806\u306a\u5b9a\u91cf\u7684\u30ed\u30b8\u30c3\u30af\u306e\u3059\u3079\u3066\u306e\u5f0fa\u306b\u3064\u3044\u3066\u3001\u63a7\u9664\u53ef\u80fd\u3067\u3059\u3002\u300d\u6b63\u5f0f\u306b\uff1a\u300ca\u306e\u5834\u5408\u3001\u251ca\u300d\u3002\u3053\u308c\u306f\u3001\u5b9a\u91cf\u7684\u30ed\u30b8\u30c3\u30af\u306e\u6b63\u5f0f\u306a\u30b7\u30b9\u30c6\u30e0\u304c\u3001\u30b7\u30b9\u30c6\u30e0\u5185\u3067\u6b63\u5f0f\u306b\u63a7\u9664\u53ef\u80fd\u3067\u3042\u308b\u3059\u3079\u3066\u306e\u5f0f\u304c\u5b8c\u5168\u306b\u5b8c\u4e86\u3059\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002 \u5b8c\u5168\u6027\u5b9a\u7406\u30c6\u30b9\u30c8\u306f\u3001\u6b21\u306e\u65bd\u8a2d\u3092\u59d4\u8a17\u3059\u308b\u305f\u3081\u306b\u524a\u6e1b\u3055\u308c\u307e\u3059 A\u306f\u8ad6\u7406\u7684\u306b\u771f\u5b9f\u3067\u3059\uff1aa a a\u304c\u8ad6\u7406\u7684\u306b\u771f\u5b9f\u3067\u3042\u308b\u5834\u5408\u3001\u00acA\u306f\u4e0d\u6e80\u3067\u3059 \u00ac\u304c\u6e80\u8db3\u3057\u3066\u3044\u306a\u3044\u5834\u5408\u3001\u00acA\u306f\u4e00\u8cab\u3057\u3066\u3044\u307e\u305b\u3093 \u00acA\u304c\u4e00\u8cab\u6027\u304c\u306a\u3044\u5834\u5408\u3001\u305d\u308c\u306f\u77db\u76fe\u3092\u5f15\u304d\u8d77\u3053\u3057\u307e\u3059\uff1a\u00aca\u251cb\u304a\u3088\u3073\u00aca\u251c\u00acb \u00aca\u251cb\u304a\u3088\u3073\u00aca\u251c\u00acb\u306e\u5834\u5408\u3001\u251ca \u3053\u308c\u3089\u306e\u65bd\u8a2d\u306e\u6b63\u5f53\u5316\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059 \u305d\u308c\u306f\u5b8c\u5168\u6027\u5b9a\u7406\u306e\u4eee\u8aac\u3067\u3059 \u305d\u306e\u5f8c\u3001\u8ad6\u7406\u7684\u306b\u771f\u306e\u5f0f\u306e\u6982\u5ff5\u306e\u5b9a\u7fa9\u304c\u7d9a\u304d\u307e\u3059\u3002\u305d\u306e\u5426\u5b9a\u306f\u4e0d\u6e80\u3067\u306a\u3051\u308c\u3070\u306a\u308a\u307e\u305b\u3093 \u305d\u308c\u306f\u30d8\u30f3\u30ad\u30f3\u306e\u5b9a\u7406\u306e\u30b3\u30f3\u30c8\u30e9\u30b9\u30c8\u3067\u3059 \u305d\u308c\u306f\u77db\u76fe\u306e\u5b9a\u7fa9\u306e\u5358\u306a\u308b\u5206\u6790\u3067\u3059 It is based on the deduction theorem, which allows to go from \u00aca \u251c B and \u00aca \u251c \u00acb a \u251c \u00aca ^ B and \u251c \u00aca ^ \u00acB, respectively, and in modus Ponens, which allows, with the help of these last two formulas, eliminating the background in the law of reduction to the absurd (\u251c (\u00aca ^ b) \u00ae ((\u00ac ^ \u251c \u00ac\u00acA is passed to \u251c A through an application of MP to the double denial law \u251c \u00ac\u00aca ^ a \u3053\u308c\u3089\u306e\u65bd\u8a2d\u3092\u53d7\u3051\u5165\u308c\u3066\u3001MP\u30eb\u30fc\u30eb\u306f\uff082\uff09\u304a\u3088\u3073\uff081\uff09\u3067\u59cb\u307e\u308a\u3001\uff083\uff09\u3068\uff082\uff09\u306a\u3069\u306e\u7d50\u679c\u306b\u7d9a\u304f\uff085\uff09\uff1a\u251ca\u304b\u3089\u3001\u307e\u3055\u306b\u30b2\u30fc\u30c7\u30eb\u306e\u7406\u8ad6\u306e\u8ad6\u6587\u3067\u3042\u308a\u3001\u3057\u305f\u304c\u3063\u3066\u3001\u5b9f\u8a3c\u3055\u308c\u3066\u3044\u307e\u3059\u3002 \u73fe\u4ee3\u306e\u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u73fe\u4ee3\u306e\u8ad6\u7406\u66f8\u3067\u306f\u3001\u30b2\u30fc\u30c7\u30eb\u306e\u5b8c\u5168\u6027\u5b9a\u7406\u306f\u901a\u5e38\u3001\u30d8\u30f3\u30ad\u30f3\u3092\u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3\u3059\u308b\u3053\u3068\u306b\u3088\u3063\u3066\u5b9f\u8a3c\u3055\u308c\u307e\u3059\u304c\u3001\u30d8\u30eb\u30d6\u30e9\u30f3\u30c9\u306e\u30c7\u30e2\u3082\u30b2\u30fc\u30c7\u30eb\u306e\u6700\u521d\u306e\u30c7\u30e2\u3067\u306f\u306a\u304f\u4f7f\u7528\u3055\u308c\u307e\u3059\u3002 \u53c2\u7167\u3057\u3066\u304f\u3060\u3055\u3044 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u53c2\u7167 [ \u7de8\u96c6\u3057\u307e\u3059 ] \u66f8\u8a8c [ \u7de8\u96c6\u3057\u307e\u3059 ] G\u00f6del\u3001K\uff081929\uff09\u3002 \u30ed\u30b8\u30c3\u30af\u8a08\u7b97\u306e\u5b8c\u5168\u6027\u306b\u3064\u3044\u3066 \u3002\u535a\u58eb\u8ad6\u6587\u3002\u30a6\u30a3\u30fc\u30f3\u5927\u5b66\u3002  \u3053\u306e\u8ad6\u6587\u306f\u3001\u5b8c\u5168\u6027\u5b9a\u7406\u306e\u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3\u306e\u5143\u306e\u60c5\u5831\u6e90\u3067\u3059\u3002 G\u00f6del\u3001K\uff081930\uff09\u3002 \u300c\u8ad6\u7406\u6a5f\u80fd\u8a08\u7b97\u306e\u516c\u7406\u306e\u5b8c\u5168\u6027\u300d\u3002 \u6570\u5b66\u306e\u305f\u3081\u306e\u6bce\u6708\u306e\u5c0f\u518a\u5b50  \uff08\u30c9\u30a4\u30c4\u8a9e\u3067\uff09  37 \uff1a349-360\u3002 doi\uff1a 10.1007\/BF01696781 \u3002 JFM 56.0046.04 \u3002  \u3053\u306e\u8a18\u4e8b\u306b\u306f\u3001\u7565\u8a9e\u5f62\u5f0f\u306e\u535a\u58eb\u8ad6\u6587\u3068\u540c\u3058\u8cc7\u6599\u304c\u542b\u307e\u308c\u3066\u3044\u307e\u3059\u3002\u30c7\u30e2\u30f3\u30b9\u30c8\u30ec\u30fc\u30b7\u30e7\u30f3\u306f\u77ed\u304f\u3001\u6700\u3082\u7c21\u6f54\u306a\u8aac\u660e\u304c\u3042\u308a\u3001\u5e83\u7bc4\u306a\u7d39\u4ecb\u306f\u7701\u7565\u3055\u308c\u3066\u3044\u307e\u3059\u3002 \u5916\u90e8\u30ea\u30f3\u30af [ \u7de8\u96c6\u3057\u307e\u3059 ]          (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/3235#breadcrumbitem","name":"\u30b2\u30fc\u30c7\u30eb\u306e\u5b8c\u5168\u6027\u5b9a\u7406"}}]}]