[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/archives\/10696#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/archives\/10696","headline":"Lindenbaum Lemmat -Wikipedia\u3001\u7121\u6599\u767e\u79d1\u4e8b\u5178","name":"Lindenbaum Lemmat -Wikipedia\u3001\u7121\u6599\u767e\u79d1\u4e8b\u5178","description":"before-content-x4 Lemat Lindenbauma – \u4f1d\u7d71\u7684\u306bLematic\u3068\u3057\u3066\u77e5\u3089\u308c\u3066\u3044\u308b\u30e1\u30bf\u30de\u30c1\u30c3\u30af\u5b9a\u7406\u3002 LVIV-WARSAW SCHOOL\u3001Adolf Lindenbaum\u306e\u30dd\u30fc\u30e9\u30f3\u30c9\u8a9e\u8ad6\u7406\u306b\u3088\u3063\u3066\u7b56\u5b9a\u3055\u308c\u307e\u3057\u305f\u3002\u30e2\u30c7\u30eb\u306e\u7406\u8ad6\u3067\u306f\u3001\u8a3c\u62e0\u3068\u3057\u3066\u3001So -Called\u306e\u5145\u586b\u306b\u3064\u3044\u3066\u306e\u4e3b\u5f35\u30d8\u30f3\u30ad\u30f3\u6cd5\u306b\u3088\u3063\u3066\u3002 after-content-x4 Lindenbaum Lemma\u6c0f\u306b\u3088\u308b\u3068\u3001\u3044\u305a\u308c\u306e\u306a\u3044\u5f0f\u306f\u3001\u5f0f\u3067\u306f\u306a\u304f\u5b8c\u5168\u306a\u5f0f\u306e\u30bb\u30c3\u30c8\u306b\u62e1\u5f35\u3067\u304d\u308b\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002 \u6b63\u5f0f\u306a\u30ec\u30b3\u30fc\u30c9\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\uff08X\u306b\u3088\u308b\u3002\u5f0f\u306e\u30bb\u30c3\u30c8\u3092\u30de\u30fc\u30af\u3057\u3001FM\u306b\u3088\u3063\u3066\u7279\u5b9a\u306e\u5909\u63db\u30a2\u30eb\u30d5\u30a1\u30d9\u30c3\u30c8\u306e\u3059\u3079\u3066\u306e\u5f0f\u306e\u30bb\u30c3\u30c8\u3092\u30de\u30fc\u30af\u3057\u307e\u3059\uff09\uff1a after-content-x4 \u2200X\uff08 \u00ac \u2200\u03c6\u2208Fm[ \u30d0\u30c4 \u22a2 \u30d5\u30a1\u30a4","datePublished":"2022-04-17","dateModified":"2022-04-17","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/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\/e0107efe63578e68210d7031403388e6132e2f79","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/e0107efe63578e68210d7031403388e6132e2f79","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/archives\/10696","wordCount":4221,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4Lemat Lindenbauma  – \u4f1d\u7d71\u7684\u306bLematic\u3068\u3057\u3066\u77e5\u3089\u308c\u3066\u3044\u308b\u30e1\u30bf\u30de\u30c1\u30c3\u30af\u5b9a\u7406\u3002 LVIV-WARSAW SCHOOL\u3001Adolf Lindenbaum\u306e\u30dd\u30fc\u30e9\u30f3\u30c9\u8a9e\u8ad6\u7406\u306b\u3088\u3063\u3066\u7b56\u5b9a\u3055\u308c\u307e\u3057\u305f\u3002\u30e2\u30c7\u30eb\u306e\u7406\u8ad6\u3067\u306f\u3001\u8a3c\u62e0\u3068\u3057\u3066\u3001So -Called\u306e\u5145\u586b\u306b\u3064\u3044\u3066\u306e\u4e3b\u5f35\u30d8\u30f3\u30ad\u30f3\u6cd5\u306b\u3088\u3063\u3066\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4Lindenbaum Lemma\u6c0f\u306b\u3088\u308b\u3068\u3001\u3044\u305a\u308c\u306e\u306a\u3044\u5f0f\u306f\u3001\u5f0f\u3067\u306f\u306a\u304f\u5b8c\u5168\u306a\u5f0f\u306e\u30bb\u30c3\u30c8\u306b\u62e1\u5f35\u3067\u304d\u308b\u3068\u8ff0\u3079\u3066\u3044\u307e\u3059\u3002 \u6b63\u5f0f\u306a\u30ec\u30b3\u30fc\u30c9\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\uff08X\u306b\u3088\u308b\u3002\u5f0f\u306e\u30bb\u30c3\u30c8\u3092\u30de\u30fc\u30af\u3057\u3001FM\u306b\u3088\u3063\u3066\u7279\u5b9a\u306e\u5909\u63db\u30a2\u30eb\u30d5\u30a1\u30d9\u30c3\u30c8\u306e\u3059\u3079\u3066\u306e\u5f0f\u306e\u30bb\u30c3\u30c8\u3092\u30de\u30fc\u30af\u3057\u307e\u3059\uff09\uff1a        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u2200X\uff08 \u00ac \u2200\u03c6\u2208Fm[ \u30d0\u30c4 \u22a2 \u30d5\u30a1\u30a4 ] \u21d2 \u2203Y[ { \u30d0\u30c4 \u2286 \u3068 } \u2227 \u00ac \u2200\u03c6\u2208Fm{ \u3068 \u22a2 \u30d5\u30a1\u30a4 } \u2227 \u2200\u03c6\u2208Fm{ \u3068 \u22a2 \u30d5\u30a1\u30a4 \u2228 \u3068 \u22a2 \u00ac \u30d5\u30a1\u30a4 } ] \uff09\uff09 \u3002 {displaystyle forall _ {x}\uff08neg forall _ {varphi in fm} [xvdash varphi] rightArrow exams _ {y} [{xsubseeteq y}\u30a6\u30a7\u30c3\u30b8\u30cd\u30b0\u30cd\u30ac\u30c6\u30a3\u30d6} Tw\u3002 \u2200 X\uff08 \u00ac \u2200 \u03c6\u2208Fm[ \u30d0\u30c4 \u22a2 \u30d5\u30a1\u30a4 ] \u21d2 \u2203 Y[ { \u30d0\u30c4 \u2286 \u3068 } \u2227 \u00ac \u2200 \u03c6\u2208Fm{ \u3068 \u22a2 \u30d5\u30a1\u30a4 } \u2227 \u2200 \u03c6\u2208Fm{ \u3068 \u22a2 \u30d5\u30a1\u30a4 \u2228 \u3068 \u22a2 \u00ac \u30d5\u30a1\u30a4 } ] \uff09\uff09 \u3002 {displaystyle forall _ {x}\uff08neg forall _ {varphi in fm} [xvdash varphi] rightArrow exams _ {y} [{xsubseeteq y}\u30a6\u30a7\u30c3\u30b8\u30cd\u30b0\u30cd\u30ac\u30c6\u30a3\u30d6}  \u8a3c\u62e0\uff1a  X\u3092\u975e\u6c38\u7d9a\u7684\u306a\u30b3\u30ec\u30af\u30b7\u30e7\u30f3\u3068\u3057\u307e\u3059\u3002\u30d5\u30a9\u30fc\u30df\u30e5\u30e9\u6587\u5b57\u5217\u3092\u4f7f\u7528\u3057\u307e\u3059        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4a 0\u3001 a 1\u3001 … {displaystyle alpha _ {0}\u3001alpha _ {1}\u3001dots} FM\u5f0f\u30bb\u30c3\u30c8\u306e\u8a08\u7b97\u306b\u306a\u308a\u307e\u3059\u3002\u591a\u304f\u306e\u5f0f\u304c\u3042\u308b\u305f\u3081\u3001\u3053\u306e\u3088\u3046\u306a\u7d99\u7d9a\u304c\u5b58\u5728\u3057\u307e\u3059\u3002\u6307\u5b9a\u3057\u307e\u3057\u3087\u3046\uff1a Y0= \u30d0\u30c4 \u3001 {displaystyle y_ {0} = x\u3001} Yn+1= {Yn\u222a{\u03b1n},gdy\u00a0\u00a0\u231c\u00ac\u03b1n\u231d\u2209Cn(Yn)Yn\u222a{\u00ac\u03b1n},gdy\u00a0\u00a0\u231c\u00ac\u03b1n\u231d\u2208Cn(Yn)\u3001 {displaystyle y_ {n+1} = {begin {cases} y_ {n} cup {alpha _ {n}}\u3001\uff06{text {gdy}} ulcorner neg alpha _ {n} urcorner {text {gdy}} ulcorner neg alpha _ {n} urcorner in cn\uff08y_ {n}\uff09end {cases}}\u3001} \u3068 = \u22c3n\u2208NYn\u3002 {displaystyle y = bigcup _ {nin mathbb {n}} y_ {n}\u3002} \uff08\u30b5\u30a4\u30f3 \u231c a \u231d {DisplayStyle Ulcorner Alpha Urcorner} Meta -Language\u3092\u4f7f\u7528\u3059\u308b\u3053\u3068\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u3059\u305f\u3081\u306b\u4f7f\u7528\u3057\u307e\u3059\u3002 Lindenbaum lemm\u3092\u8a3c\u660e\u3059\u308b\u306b\u306f\u30013\u3064\u306e\u3053\u3068\u3092\u793a\u3059\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\uff08a\uff0910\u4e16\u7d00\u306e\u7d50\u8ad6\uff08b\uff09\u5b8c\u5168\u6027y\u304a\u3088\u3073\uff08c\uff09\u975e\u7269\u8ceay\u3002 \u7d50\u8ad6 [ \u7de8\u96c6 | \u30b3\u30fc\u30c9\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u30d0\u30c4 \u2286 \u3068 \u3002 {displaystyle xsubseeteq y\u3002} \u5efa\u8a2d\u304b\u3089 \u3068 = \u22c3 n\u2208N\u3068 n{displaystyle y = bigcup _ {nin mathbb {n}} y_ {n}} \u79c1 \u3068 0= \u30d0\u30c4 \u3002 {displaystyle y_ {0} = x\u3002} \u3057\u305f\u304c\u3063\u3066\u3001x\u306fy\u306b\u542b\u307e\u308c\u3066\u3044\u307e\u3059\u3002 \u5b8c\u5168 [ \u7de8\u96c6 | \u30b3\u30fc\u30c9\u3092\u7de8\u96c6\u3057\u307e\u3059 ] \u79c1\u305f\u3061\u306f\u305d\u308c\u3092\u4e3b\u5f35\u3057\u307e\u3059 \u3068 {displaystyle y} \u5b8c\u5168\u3067\u3059\u3001\u3064\u307e\u308a \u2200 \u03c6\u2208Fm\uff08 \u3068 \u22a2 \u30d5\u30a1\u30a4 \u2228 \u3068 \u22a2 \u00ac \u30d5\u30a1\u30a4 \uff09\uff09 \u3002 {displaystyle forall _ {varphi in fm}\uff08yvdash varphi vee yvdash neg varphi\uff09\u3002} \u8a3c\u660e\uff1a\u6c7a\u5b9a\u3057\u307e\u3057\u3087\u3046 \u30d5\u30a1\u30a4 \u3002 {displaystyle varphi\u3002} \u3055\u305b\u3066 \u30d5\u30a1\u30a4 = a n\u3002 {displaystyle varphi = alpha _ {n}\u3002} 2\u3064\u306e\u30b1\u30fc\u30b9\u304c\u3042\u308a\u307e\u3059\u3002 \u30b1\u30fc\u30b91\u3002 \u231c \u00ac \u03b1n\u231d \u2209 c n \uff08 Yn\uff09\uff09 ; {displaystyle ulcorner neg alpha _ {n} urcorner notin cn\uff08y_ {n}\uff09;} \u30b1\u30fc\u30b92\u3002 \u231c \u00ac \u03b1n\u231d \u2208 c n \uff08 Yn\uff09\uff09 \u3002 {displaystyle ulcorner neg alpha _ {n} urcorner in CN\uff08y_ {n}\uff09\u3002} \u5e83\u544a1\uff1a a n\u2208 \u3068 n+1\u3001 {displaystyle alpha _ {n} in y_ {n+1}\u3001} \u305d\u308c\u3067 a n\u2208 \u3068 \u3002 {displaystyle alpha _ {n} in y.}  \u5e83\u544a2\uff1a \u231c \u00ac a n\u231d \u2208 \u3068 n+1\u3001 {displaystyle ulcorner neg alpha _ {n} urcorner in y_ {n+1}\u3001} \u305d\u308c\u3067 \u00ac a n\u2208 \u3068 \u3002 {displaystyle neg alpha _ {n} in y.}  \u975e\u77e5\u899a [ \u7de8\u96c6 | \u30b3\u30fc\u30c9\u3092\u7de8\u96c6\u3057\u307e\u3059 ] Y\u306f\u5931\u6557\u3057\u305f\u3068\u4e3b\u5f35\u3057\u3066\u3044\u307e\u3059\u3002\u79c1\u305f\u3061\u306fn\u306e\u5f8c\u306b\u8a98\u5c0e\u306b\u3088\u3063\u3066\u547d\u4ee4\u3057\u307e\u3059n \u3068 n{displaystyle y_ {n}} \u5931\u6557\u3057\u307e\u3057\u305f\uff1a \uff080\uff09 \u3068 0{displaystyle y_ {0}} \u5b9a\u7fa9\u306b\u3088\u308a\u5931\u6557\u3057\u307e\u3057\u305f\u3002 [\u30b9\u30c6\u30c3\u30d7\u30bc\u30ed] \uff08i\uff09\u305d\u308c\u3092\u4eee\u5b9a\u3057\u307e\u3059 \u3068 n{displaystyle y_ {n}} \u5931\u6557\u3057\u307e\u3057\u305f\u3002 [\u8a98\u5c0e\u4eee\u5b9a] \uff08t\uff09 \u3068 n+1{displaystyle y_ {n+1}} \u5931\u6557\u3057\u307e\u3057\u305f\u3002 [\u8a98\u5c0e\u8ad6\u6587] \u4e8b\u5b9f\uff1a  \u2200 X\u2200 \u03c6[ \u30d0\u30c4 \u22ac \u00ac \u30d5\u30a1\u30a4 \u21d2 \u30d0\u30c4 \u222a { \u30d5\u30a1\u30a4 }  j \u305d\u3046\u3067\u3059 s t  n \u79c1 \u305d\u3046\u3067\u3059 s p r \u3068 \u305d\u3046\u3067\u3059 c \u3068 n \u305d\u3046\u3067\u3059 ] {distrastastyle tuall _ {x} tablel _ {varphi} [xnot vdash neg varphtarrow xcup {varphi}\u306f\u5931\u6557]}  \u30a6\u30a9\u30ec\u30b9\u30ad\u30e4\u30f3\u3001 \u54f2\u5b66\u7684\u306alviv-warsaw\u5b66\u6821 \u3001PWN\u3001\u30ef\u30eb\u30b7\u30e3\u30ef1985\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\/wiki47\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki47\/archives\/10696#breadcrumbitem","name":"Lindenbaum Lemmat -Wikipedia\u3001\u7121\u6599\u767e\u79d1\u4e8b\u5178"}}]}]