[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/14650#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/14650","headline":"Takeuti Gaisi -Wikipedia","name":"Takeuti Gaisi -Wikipedia","description":"before-content-x4 Takeuti gaisi \uff08\u30b8\u30e3\u30c3\u30d7\u3002 \u6b74\u53f2 \u3001 Takeuchi Gaishi ; * 1926\u5e741\u670825\u65e5\u3001\u77f3\u5ddd\u770ckizu\u3001\u65e5\u672c\u3002 \u20202017\u5e745\u670810\u65e5\uff09 [\u521d\u3081] \u8a3c\u62e0\u7406\u8ad6\u3078\u306e\u8ca2\u732e\u3067\u77e5\u3089\u308c\u308b\u65e5\u672c\u306e\u6570\u5b66\u8ad6\u7406\u5b66\u8005\u3067\u3057\u305f\u3002 after-content-x4 Tkeuti\u306f\u30011956\u5e74\u306b\u6771\u4eac\u5927\u5b66\u3067\u6570\u5b66\u7684\u8ad6\u7406\u306e\u535a\u58eb\u53f7\u3092\u53d6\u5f97\u3057\u307e\u3057\u305f\u3002 1950\u5e74\u304b\u3089\u5f7c\u306f\u5f53\u521d\u3001\u6771\u4eac\u5927\u5b66\u306e\u6559\u6388\u3067\u3042\u308a\u30011966\u5e74\u306b\u30a4\u30ea\u30ce\u30a4\u5927\u5b66\u30a2\u30fc\u30d0\u30ca\u30c1\u30e3\u30f3\u30da\u30a4\u306e\u6559\u6388\u3067\u3057\u305f\u3002 1996\u5e74\u306b\u306f\u9b45\u529b\u7684\u3067\u3057\u305f\u3002 1950\u5e74\u4ee3\u306eTakeuti\u306e\u76ee\u6a19\u306f\u3001\u5206\u6790\u3092\u542b\u3080\u6b63\u5f0f\u306a\u30b7\u30b9\u30c6\u30e0\u306e\u77db\u76fe\u306e\u81ea\u7531\u306e\u8a3c\u62e0\u3092\u7372\u5f97\u3059\u308b\u3053\u3068\u3067\u3057\u305f\u3002\u3053\u308c\u3092\u884c\u3046\u305f\u3081\u306b\u3001\u5f7c\u306f\u3055\u3089\u306b\u30b2\u30eb\u30cf\u30eb\u30c8\u7d33\u58eb\u306e\u65b9\u6cd5\u3092\u958b\u767a\u3057\u307e\u3057\u305f\uff08\u3068\u308a\u308f\u3051\u5f7c\u304c\u7387\u3044\u305f\u3053\u3068\u306e\u4e2d\u3067\u3082 \u9806\u5e8f\u56f3","datePublished":"2019-04-01","dateModified":"2019-04-01","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:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/0fd076fb78a7a5ee340920a3d846ddf67455f941","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/0fd076fb78a7a5ee340920a3d846ddf67455f941","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki11\/archives\/14650","wordCount":585,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4Takeuti gaisi \uff08\u30b8\u30e3\u30c3\u30d7\u3002 \u6b74\u53f2 \u3001 Takeuchi Gaishi ; * 1926\u5e741\u670825\u65e5\u3001\u77f3\u5ddd\u770ckizu\u3001\u65e5\u672c\u3002 \u20202017\u5e745\u670810\u65e5\uff09 [\u521d\u3081] \u8a3c\u62e0\u7406\u8ad6\u3078\u306e\u8ca2\u732e\u3067\u77e5\u3089\u308c\u308b\u65e5\u672c\u306e\u6570\u5b66\u8ad6\u7406\u5b66\u8005\u3067\u3057\u305f\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Tkeuti\u306f\u30011956\u5e74\u306b\u6771\u4eac\u5927\u5b66\u3067\u6570\u5b66\u7684\u8ad6\u7406\u306e\u535a\u58eb\u53f7\u3092\u53d6\u5f97\u3057\u307e\u3057\u305f\u3002 1950\u5e74\u304b\u3089\u5f7c\u306f\u5f53\u521d\u3001\u6771\u4eac\u5927\u5b66\u306e\u6559\u6388\u3067\u3042\u308a\u30011966\u5e74\u306b\u30a4\u30ea\u30ce\u30a4\u5927\u5b66\u30a2\u30fc\u30d0\u30ca\u30c1\u30e3\u30f3\u30da\u30a4\u306e\u6559\u6388\u3067\u3057\u305f\u3002 1996\u5e74\u306b\u306f\u9b45\u529b\u7684\u3067\u3057\u305f\u3002 1950\u5e74\u4ee3\u306eTakeuti\u306e\u76ee\u6a19\u306f\u3001\u5206\u6790\u3092\u542b\u3080\u6b63\u5f0f\u306a\u30b7\u30b9\u30c6\u30e0\u306e\u77db\u76fe\u306e\u81ea\u7531\u306e\u8a3c\u62e0\u3092\u7372\u5f97\u3059\u308b\u3053\u3068\u3067\u3057\u305f\u3002\u3053\u308c\u3092\u884c\u3046\u305f\u3081\u306b\u3001\u5f7c\u306f\u3055\u3089\u306b\u30b2\u30eb\u30cf\u30eb\u30c8\u7d33\u58eb\u306e\u65b9\u6cd5\u3092\u958b\u767a\u3057\u307e\u3057\u305f\uff08\u3068\u308a\u308f\u3051\u5f7c\u304c\u7387\u3044\u305f\u3053\u3068\u306e\u4e2d\u3067\u3082 \u9806\u5e8f\u56f3 a\uff09\u3002 1967\u5e74\u3001Tkeuti\u306f\u77db\u76fe\u306e\u8a3c\u62e0\u306b\u6210\u529f\u3057\u307e\u3057\u305f        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4pi 11{displaystyle pi _ {1}^{1}} \u5206\u6790\uff08\u5206\u6790\u306e\u4e00\u90e8\u3002\u3053\u308c\u306f\u3001\u6700\u59271\u3064\u306e\u6570\u91cf\u91cf\u5b50\u3092\u6301\u3064\u4efb\u610f\u306e\u5f0f\u306b\u7406\u89e3\u5ea6\u304c\u5236\u9650\u3055\u308c\u3066\u3044\u307e\u3059\uff09\u3002 KurtSch\u00fctte\u306b\u3088\u308b\u3068\u3001\u305d\u308c\u306f\u975e\u5e38\u306b\u5370\u8c61\u7684\u306a\u6700\u521d\u306e\u77db\u76fe\u306e\u81ea\u7531\u3067\u3057\u305f [2] \u90e8\u5206\u7684\u306b\u6570\u5b66\u3068\u5206\u6790\u306e\u3002 [3] Takeuti\u306e1953\u5e74\u306e\u63a8\u5b9a\u306b\u3088\u308b\u3068\u3001\u5207\u65ad\u30eb\u30fc\u30eb\u306f\u6709\u9650\u30ec\u30d9\u30eb\u306e\u8ad6\u7406\u8a08\u7b97\u306b\u9069\u7528\u3055\u308c\u3066\u3044\u308b\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\uff08Gentzenscher Hauptsatz\u3092\u53c2\u7167\uff09\u3002 William W. Tait\uff081966\uff09\u3068Dag Prawitz\uff081967\u5e74\u30011969\u5e74\u306e\u9ad8\u6b21\uff09\u306b\u3088\u308b\u8a08\u7b97\u7b2c2\u6bb5\u968e\u3067\u8a3c\u660e\u3055\u308c\u3001\u30bf\u30ab\u30cf\u30b7\u30e2\u30c8\u30a5\u30fc\uff081967\u5e74\u3001\u9ad8\u6b21\uff09\u3068\u30b8\u30e3\u30f3\u30c9\u30a4\u30d5\u30b9\u30b8\u30e9\u30fc\u30c9\u306b\u95a2\u4fc2\u306a\u304f\u8a3c\u660e\u3055\u308c\u307e\u3057\u305f\u3002 2\u3064\u306e\u6559\u79d1\u66f8\u3068\u6a19\u6e96\u7684\u306a\u4f5c\u54c1\u306f\u3001\u8a3c\u62e0\u306e\u7406\u8ad6\u306e1\u3064\u3067\u3042\u308a\u30011\u3064\u306f\u516c\u7406\u7684\u91cf\u7406\u8ad6\u306b\u95a2\u3059\u308b\u3082\u306e\u3067\u3059\u3002 1950\u5e74\u4ee3\u306e\u521d\u3081\u306b\u5f7c\u306f\u30db\u30e2\u30c8\u30fc\u30d7\u7406\u8ad6\u3082\u6271\u3063\u305f [4] \u7d50\u3073\u76ee\u7406\u8ad6\uff08\u5f7c\u306f1952\/53\u5e74\u306b\u535a\u58eb\u8ab2\u7a0b\u306e\u5b66\u751f\u30af\u30cb\u30aa\u30fb\u30e0\u30e9\u30b5\u30ae\u304c\u8a2a\u308c\u305f\u30bb\u30df\u30ca\u30fc\u3092\u958b\u50ac\u3057\u307e\u3057\u305f\uff09\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x41959\/60\u5e74\u30011966\u5e74\u304b\u30891968\u5e74\u30011971\u5e74\u304b\u30891972\u5e74\u3001\u5f7c\u306f\u30ab\u30fc\u30c8\u30b2\u30fc\u30c7\u30eb\u3068\u306e\u9ad8\u5ea6\u306a\u7814\u7a76\u7814\u7a76\u6240\u306b\u3044\u307e\u3057\u305f\u3002 [5] 2003\u5e74\u304b\u30892009\u5e74\u3001\u5f7c\u306f\u30ab\u30fc\u30c8\u30b2\u30fc\u30c7\u30eb\u5354\u4f1a\u306e\u4f1a\u9577\u3067\u3057\u305f\u3002 1998\u5e74\u3001\u5f7c\u306f\u30c1\u30a7\u30b3\u306e\u30dc\u30eb\u30c4\u30a1\u30fc\u30ce\u30e1\u30c0\u30eb\u3092\u53d7\u8cde\u3057\u3001\u51fa\u7248\u7269\u306e\u305f\u3081\u306b\u5927\u5ddd\u8cde\u3092\u53d7\u8cde\u3057\u307e\u3057\u305f\u3002 1982\u5e74\u306b\u5f7c\u306f\u6d45\u91ce\u8cde\u3092\u53d7\u8cde\u3057\u307e\u3057\u305f\u3002 \u8a3c\u660e\u7406\u8ad6 \u3002\u30ce\u30fc\u30b9\u30db\u30e9\u30f3\u30c91975\u3001\u30c9\u30fc\u30d0\u30fc2013 MIT Wilson M. Zaring\uff1a \u516c\u7406\u30bb\u30c3\u30c8\u7406\u8ad6\u306e\u7d39\u4ecb \u3002 Springer 1971\u30011973\uff08ALS Axiomatic Set Theory\uff09 \u6570\u5b66\u3078\u306e\u30ed\u30b8\u30c3\u30af\u306e2\u3064\u306e\u30a2\u30d7\u30ea\u30b1\u30fc\u30b7\u30e7\u30f3 \uff08=\u65e5\u672c\u306e\u6570\u5b66\u5354\u4f1a\u306e\u51fa\u7248\u726913\uff09\u3002\u30d7\u30ea\u30f3\u30b9\u30c8\u30f3\u5927\u5b66\u51fa\u7248\u5c40\u3001\u30d7\u30ea\u30f3\u30b9\u30c8\u30f3\uff08\u30cb\u30e5\u30fc\u30b8\u30e3\u30fc\u30b8\u30fc\u5dde\uff09\u30011978\u5e74 \u8a3c\u660e\u7406\u8ad6\u5bb6\u306e\u56de\u9867\u9332\u3002\u30b2\u30fc\u30c7\u30eb\u3068\u4ed6\u306e\u8ad6\u7406\u5b66\u8005 \u3002\u30ef\u30fc\u30eb\u30c9\u30b5\u30a4\u30a8\u30f3\u30c6\u30a3\u30d5\u30a3\u30c3\u30af\u30ea\u30d0\u30fc\u30a8\u30c3\u30b8\uff08\u30cb\u30e5\u30fc\u30b8\u30e3\u30fc\u30b8\u30fc\u5dde\uff09\u30011998\u30012003 \u4e00\u822c\u5316\u3055\u308c\u305f\u8ad6\u7406\u8a08\u7b97\u3067 \u3002 In\uff1aJournal of Mathematics\u3001Band 23\u30011953\u3001S\u300239\u201396\u3001Errata Band 24\u30011954\u3001S\u3002149\u2013156 \u5206\u6790\u306e\u4e00\u90e8\u306e\u30b5\u30d6\u30b7\u30b9\u30c6\u30e0\u306e\u4e00\u8cab\u6027\u8a3c\u660e \u3002 In\uff1aAnnals of Mathematics\u3001Band 86\u30011967\u3001S\u3002299\u2013348 \u2191  \u305d\u306e\u5f8c\u306e\u751f\u6d3b \u79d1\u5b66\u306e\u30a2\u30e1\u30ea\u30ab\u4eba\u7537\u6027\u3068\u5973\u6027 \u3001Thomson Gale 2004\u3002 \u30ce\u30fc\u30d0\u30fc\u30c8\u30d7\u30ea\u30cb\u30f3\u30b0\uff1a Gaisi Takeuti\u30011926-2017 \u3002 Norbert Preinings Web\u30b5\u30a4\u30c8\u30012017\u5e745\u670812\u65e5\u30012017\u5e745\u670814\u65e5\u30a2\u30af\u30bb\u30b9  \u2191  \u7528\u8a9e\u306f\u3001\u305d\u308c\u304c\u5c5e\u3059\u308b\u5168\u4f53\u306b\u3088\u3063\u3066\u306e\u307f\u5b9a\u7fa9\u3055\u308c\u308b\u5834\u5408\u306b\u4e0e\u3048\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u3053\u306e\u3088\u3046\u306a\u5370\u8c61\u7684\u306a\u7528\u8a9e\u306f\u3001\u305f\u3068\u3048\u3070\u95a2\u6570\u306e\u6700\u5927\u5024\u306e\u6982\u5ff5\u306a\u3069\u3001\u5206\u6790\u3067\u5e83\u307e\u3063\u3066\u3044\u307e\u3059\u3002 20\u4e16\u7d00\u521d\u982d\u306e\u30a2\u30f3\u30ea\u30fb\u30dd\u30a2\u30f3\u30ab\u30ec\u3068\u30d0\u30fc\u30c8\u30e9\u30f3\u30c9\u30fb\u30e9\u30c3\u30bb\u30eb\u306e\u52aa\u529b\u306f\u3001\u6570\u5b66\u306e\u57fa\u790e\u306b\u304a\u3051\u308b\u305d\u306e\u3088\u3046\u306a\u7528\u8a9e\u3092\u907f\u3051\u308b\u3053\u3068\u3067\u3057\u305f\u3002 KurtSch\u00fctte\u3001Helmut Schwichtenberg\uff1a \u6570\u5b66\u7684\u8ad6\u7406 \u3002 In\uff1aGerd Fischer\uff08\u7de8\uff09\uff1a \u6570\u5b66\u306e\u4e16\u7d00\uff1aDMV\u306e\u8a18\u5ff5\u65e5\u306e\u8a18\u5ff5\u51fa\u7248\u7269 \uff08=\u6570\u5b66\u306e\u6b74\u53f2\u306b\u95a2\u3059\u308b\u6587\u66f8\u30016\uff09\u3002 Vieweg\u3001Braunschweig \/ Wiesbaden\u30011990\u3001ISBN 978-3-528-06326-9\u3001p\u3002726\u3002  \u2191  \u30ab\u30fc\u30c8\u30fb\u30b7\u30e5\u30fc\u30c6\uff1a \u8a3c\u62e0\u7406\u8ad6\u306e\u6700\u8fd1\u306e\u7d50\u679c \uff08 \u8a18\u5ff5 2013\u5e7412\u670828\u65e5\u304b\u3089 \u30a4\u30f3\u30bf\u30fc\u30cd\u30c3\u30c8\u30a2\u30fc\u30ab\u30a4\u30d6 ; PDF; 1,28 MB\uff09\u3002 ICM 1966  \u2191  \u30db\u30e2\u30c8\u30d4\u30a8\u30c3\u30c8\u7406\u8ad6\u306b\u95a2\u3059\u308b\u51fa\u7248\u7269\u306f\u3001\u3059\u3067\u306bJ.Math\u3002Soc\u3002\u30b8\u30e7\u30fc\u30b8\u30fbW\u30fb\u30db\u30ef\u30a4\u30c8\u30d8\u30c3\u30c9\u304c\u4e88\u6e2c\u3055\u308c\u305f\u3053\u3068\u3092\u77e5\u3063\u305f\u3068\u304d\u3001\u65e5\u672c\u306f\u53d7\u3051\u5165\u308c\u307e\u3057\u305f\u3002 Jozef H. Przytycki\uff1a\u65e5\u672c\u306e\u7d50\u3073\u76ee\u7406\u8ad6\u306e\u521d\u671f\u306e\u6b74\u53f2\u3078\u306e\u30e1\u30e2\u30012001\u5e74\u3001arxiv  \u2191  \u30e1\u30f3\u30d0\u30fc\u30d6\u30c3\u30afIAS 1980   \u65e5\u672c\u8a9e\u540d\uff1a \u65e5\u672c\u3067\u306f\u3044\u3064\u3082\u306e\u3088\u3046\u306b\u3001\u59d3\u306f\u3053\u306e\u8a18\u4e8b\u306b\u3042\u308a\u307e\u3059 \u524d \u540d\u3002\u305d\u3046\u3067\u3059 \u30bf\u30b1\u30c6\u30a3 \u59d3\u3001 \u30ac\u30a4\u30b7 \u540d\u3002       (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\/14650#breadcrumbitem","name":"Takeuti Gaisi -Wikipedia"}}]}]