@prefix dbo: . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . @prefix rdfs: . rdfs:label "\u5F62\u5F0F\u4F53\u7CFB"@ja ; rdfs:comment "\u5F62\u5F0F\u4F53\u7CFB\uFF08\u3051\u3044\u3057\u304D\u305F\u3044\u3051\u3044\u3001Formal System\uFF09\u306F\u3001\u6570\u5B66\u306E\u30E2\u30C7\u30EB\u306B\u57FA\u3065\u3044\u305F\u4EFB\u610F\u306E well-defined \u306A\u62BD\u8C61\u601D\u8003\u4F53\u7CFB\u3068\u5B9A\u7FA9\u3055\u308C\u308B\u3002\u30A8\u30A6\u30AF\u30EC\u30A4\u30C7\u30B9\u306E\u300E\u539F\u8AD6\u300F\u306F\u53F2\u4E0A\u521D\u306E\u5F62\u5F0F\u4F53\u7CFB\u3068\u3055\u308C\u308B\u3053\u3068\u304C\u591A\u304F\u3001\u5F62\u5F0F\u4F53\u7CFB\u306E\u7279\u5FB4\u3092\u3088\u304F\u8868\u3057\u3066\u3044\u308B\u3002\u305D\u306E\u8AD6\u7406\u7684\u57FA\u76E4\u306B\u3088\u308B\u4F53\u7CFB\u306E\u547D\u984C\u3068\u5E30\u7D50\u306E\u95A2\u4FC2\uFF08\u8AD6\u7406\u5305\u542B\uFF09\u306F\u3001\u4ED6\u306E\u62BD\u8C61\u30E2\u30C7\u30EB\u3092\u4F55\u3089\u304B\u306E\u57FA\u76E4\u3068\u3059\u308B\u4F53\u7CFB\u304B\u3089\u5F62\u5F0F\u4F53\u7CFB\u3092\u533A\u5225\u3059\u308B\u3082\u306E\u3067\u3042\u308B\u3002\u5F62\u5F0F\u4F53\u7CFB\u306F\u5927\u304D\u306A\u7406\u8AD6\u3084\u5206\u91CE\uFF08\u4F8B\u3048\u3070\u30E6\u30FC\u30AF\u30EA\u30C3\u30C9\u5E7E\u4F55\u5B66\uFF09\u306E\u57FA\u76E4\u307E\u305F\u306F\u305D\u306E\u3082\u306E\u3068\u306A\u308B\u3053\u3068\u304C\u591A\u304F\u3001\u73FE\u4EE3\u6570\u5B66\u3067\u306F\u8A3C\u660E\u8AD6\u3084\u30E2\u30C7\u30EB\u7406\u8AD6\u306A\u3069\u3068\u540C\u7FA9\u306B\u6271\u308F\u308C\u308B\u3002\u305F\u3060\u3057\u5F62\u5F0F\u4F53\u7CFB\u306F\u5FC5\u305A\u3057\u3082\u6570\u5B66\u7684\u3067\u3042\u308B\u5FC5\u7136\u6027\u306F\u306A\u304F\u3001\u4F8B\u3048\u3070\u30B9\u30D4\u30CE\u30B6\u306E\u300E\u30A8\u30C1\u30AB\u300F\u306F\u30A8\u30A6\u30AF\u30EC\u30A4\u30C7\u30B9\u306E\u300E\u539F\u8AD6\u300F\u306E\u5F62\u5F0F\u3092\u6A21\u5023\u3057\u305F\u54F2\u5B66\uFF08\u502B\u7406\u5B66\uFF09\u66F8\u3067\u3042\u308B\u3002 \u5F62\u5F0F\u4F53\u7CFB\u306B\u306F\u5F62\u5F0F\u8A00\u8A9E\u304C\u3042\u308A\u3001\u305D\u306E\u5F62\u5F0F\u8A00\u8A9E\u306F\u57FA\u672C\u7684\u306A\u8A18\u53F7\uFF08\u30B7\u30F3\u30DC\u30EB\uFF09\u3067\u69CB\u6210\u3055\u308C\u308B\u3002\u5F62\u5F0F\u8A00\u8A9E\u306E\u6587\uFF08\u5F0F\uFF09\u306F\u516C\u7406\u7FA4\u3092\u51FA\u767A\u70B9\u3068\u3057\u3066\u3001\u6240\u5B9A\u306E\u69CB\u6210\u898F\u5247\uFF08\u63A8\u8AD6\u898F\u5247\uFF09\u306B\u5F93\u3063\u3066\u767A\u5C55\u3059\u308B\u3002\u5F93\u3063\u3066\u5F62\u5F0F\u4F53\u7CFB\u306F\u57FA\u672C\u7684\u306A\u8A18\u53F7\u7FA4\u306E\u6709\u9650\u306E\u7D44\u307F\u5408\u308F\u305B\u3092\u901A\u3057\u3066\u69CB\u7BC9\u3055\u308C\u305F\u4EFB\u610F\u500B\u306E\u6570\u5F0F\u3067\u69CB\u6210\u3055\u308C\u3001\u305D\u306E\u7D44\u307F\u5408\u308F\u305B\u306F\u516C\u7406\u7FA4\u3068\u69CB\u6210\u898F\u5247\u7FA4\u304B\u3089\u4F5C\u308A\u51FA\u3055\u308C\u308B\u3002 \u6570\u5B66\u306B\u304A\u3051\u308B\u5F62\u5F0F\u4F53\u7CFB\u306F\u4EE5\u4E0B\u306E\u8981\u7D20\u304B\u3089\u69CB\u6210\u3055\u308C\u308B: \u5F62\u5F0F\u4F53\u7CFB\u304C\u5E30\u7D0D\u7684\u3067\u3042\u308B\u3068\u306F\u3001\u516C\u7406\u7FA4\u3068\u63A8\u8AD6\u898F\u5247\u7FA4\u304C\uFF08\u6587\u8108\u306B\u3088\u3063\u3066\uFF09\u5E30\u7D0D\u7684\u96C6\u5408\u307E\u305F\u306F\u5E30\u7D0D\u7684\u53EF\u7B97\u96C6\u5408\u3067\u3042\u308B\u5834\u5408\u3092\u610F\u5473\u3059\u308B\u3002"@ja . @prefix owl: . owl:sameAs . @prefix dct: . dct:subject , , , , , ; dbo:wikiPageID 840848 ; dbo:wikiPageRevisionID 83144420 ; dbo:wikiPageWikiLink , , , , , , , , , . @prefix dbpedia-ja: . dbo:wikiPageWikiLink dbpedia-ja:Well-defined , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , dbpedia-ja:Well-formed_formula , , , , , , ; dbo:wikiPageExternalLink , . @prefix ns5: . dbo:wikiPageExternalLink ns5:formal-system . @prefix prop-ja: . prop-ja:wikiPageUsesTemplate . @prefix template-ja: . prop-ja:wikiPageUsesTemplate template-ja:Systems_science , template-ja:Main , template-ja:Reflist , template-ja:Logic , template-ja:See . @prefix foaf: . foaf:isPrimaryTopicOf ; dbo:abstract "\u5F62\u5F0F\u4F53\u7CFB\uFF08\u3051\u3044\u3057\u304D\u305F\u3044\u3051\u3044\u3001Formal System\uFF09\u306F\u3001\u6570\u5B66\u306E\u30E2\u30C7\u30EB\u306B\u57FA\u3065\u3044\u305F\u4EFB\u610F\u306E well-defined \u306A\u62BD\u8C61\u601D\u8003\u4F53\u7CFB\u3068\u5B9A\u7FA9\u3055\u308C\u308B\u3002\u30A8\u30A6\u30AF\u30EC\u30A4\u30C7\u30B9\u306E\u300E\u539F\u8AD6\u300F\u306F\u53F2\u4E0A\u521D\u306E\u5F62\u5F0F\u4F53\u7CFB\u3068\u3055\u308C\u308B\u3053\u3068\u304C\u591A\u304F\u3001\u5F62\u5F0F\u4F53\u7CFB\u306E\u7279\u5FB4\u3092\u3088\u304F\u8868\u3057\u3066\u3044\u308B\u3002\u305D\u306E\u8AD6\u7406\u7684\u57FA\u76E4\u306B\u3088\u308B\u4F53\u7CFB\u306E\u547D\u984C\u3068\u5E30\u7D50\u306E\u95A2\u4FC2\uFF08\u8AD6\u7406\u5305\u542B\uFF09\u306F\u3001\u4ED6\u306E\u62BD\u8C61\u30E2\u30C7\u30EB\u3092\u4F55\u3089\u304B\u306E\u57FA\u76E4\u3068\u3059\u308B\u4F53\u7CFB\u304B\u3089\u5F62\u5F0F\u4F53\u7CFB\u3092\u533A\u5225\u3059\u308B\u3082\u306E\u3067\u3042\u308B\u3002\u5F62\u5F0F\u4F53\u7CFB\u306F\u5927\u304D\u306A\u7406\u8AD6\u3084\u5206\u91CE\uFF08\u4F8B\u3048\u3070\u30E6\u30FC\u30AF\u30EA\u30C3\u30C9\u5E7E\u4F55\u5B66\uFF09\u306E\u57FA\u76E4\u307E\u305F\u306F\u305D\u306E\u3082\u306E\u3068\u306A\u308B\u3053\u3068\u304C\u591A\u304F\u3001\u73FE\u4EE3\u6570\u5B66\u3067\u306F\u8A3C\u660E\u8AD6\u3084\u30E2\u30C7\u30EB\u7406\u8AD6\u306A\u3069\u3068\u540C\u7FA9\u306B\u6271\u308F\u308C\u308B\u3002\u305F\u3060\u3057\u5F62\u5F0F\u4F53\u7CFB\u306F\u5FC5\u305A\u3057\u3082\u6570\u5B66\u7684\u3067\u3042\u308B\u5FC5\u7136\u6027\u306F\u306A\u304F\u3001\u4F8B\u3048\u3070\u30B9\u30D4\u30CE\u30B6\u306E\u300E\u30A8\u30C1\u30AB\u300F\u306F\u30A8\u30A6\u30AF\u30EC\u30A4\u30C7\u30B9\u306E\u300E\u539F\u8AD6\u300F\u306E\u5F62\u5F0F\u3092\u6A21\u5023\u3057\u305F\u54F2\u5B66\uFF08\u502B\u7406\u5B66\uFF09\u66F8\u3067\u3042\u308B\u3002 \u5F62\u5F0F\u4F53\u7CFB\u306B\u306F\u5F62\u5F0F\u8A00\u8A9E\u304C\u3042\u308A\u3001\u305D\u306E\u5F62\u5F0F\u8A00\u8A9E\u306F\u57FA\u672C\u7684\u306A\u8A18\u53F7\uFF08\u30B7\u30F3\u30DC\u30EB\uFF09\u3067\u69CB\u6210\u3055\u308C\u308B\u3002\u5F62\u5F0F\u8A00\u8A9E\u306E\u6587\uFF08\u5F0F\uFF09\u306F\u516C\u7406\u7FA4\u3092\u51FA\u767A\u70B9\u3068\u3057\u3066\u3001\u6240\u5B9A\u306E\u69CB\u6210\u898F\u5247\uFF08\u63A8\u8AD6\u898F\u5247\uFF09\u306B\u5F93\u3063\u3066\u767A\u5C55\u3059\u308B\u3002\u5F93\u3063\u3066\u5F62\u5F0F\u4F53\u7CFB\u306F\u57FA\u672C\u7684\u306A\u8A18\u53F7\u7FA4\u306E\u6709\u9650\u306E\u7D44\u307F\u5408\u308F\u305B\u3092\u901A\u3057\u3066\u69CB\u7BC9\u3055\u308C\u305F\u4EFB\u610F\u500B\u306E\u6570\u5F0F\u3067\u69CB\u6210\u3055\u308C\u3001\u305D\u306E\u7D44\u307F\u5408\u308F\u305B\u306F\u516C\u7406\u7FA4\u3068\u69CB\u6210\u898F\u5247\u7FA4\u304B\u3089\u4F5C\u308A\u51FA\u3055\u308C\u308B\u3002 \u6570\u5B66\u306B\u304A\u3051\u308B\u5F62\u5F0F\u4F53\u7CFB\u306F\u4EE5\u4E0B\u306E\u8981\u7D20\u304B\u3089\u69CB\u6210\u3055\u308C\u308B: 1. \n* \u5F0F\u3092\u69CB\u6210\u3059\u308B\u306E\u306B\u4F7F\u308F\u308C\u308B\u6709\u9650\u500B\u306E\u8A18\u53F7\uFF08\u30A2\u30EB\u30D5\u30A1\u30D9\u30C3\u30C8\uFF09\u3002 2. \n* \u6587\u6CD5\u3002\u3059\u306A\u308F\u3061\u3001\u6B63\u3057\u3044\u5F0F\u3092\u8A18\u53F7\u304B\u3089\u69CB\u6210\u3059\u308B\u305F\u3081\u306E\u65B9\u6CD5\u3002\u4F8B\u3048\u3070\u3001\u8AD6\u7406\u5B66\u3067\u8A00\u3048\u3070\u4EFB\u610F\u306E\u5F0F\uFF08\u8A18\u53F7\u3092\u9069\u5F53\u306B\u4E26\u3079\u305F\u3082\u306E\uFF09\u304C\u6574\u5F0F\u304B\u3069\u3046\u304B\u3092\u6C7A\u5B9A\u3059\u308B\u4F55\u3089\u304B\u306E\u624B\u9806\u304C\u5B58\u5728\u3059\u308B\u3002 3. \n* \u516C\u7406\u7FA4\u307E\u305F\u306F\u516C\u7406\u30B9\u30AD\u30FC\u30DE\u3002\u5404\u516C\u7406\u306F\u6574\u5F0F\u3067\u306A\u3051\u308C\u3070\u306A\u3089\u306A\u3044\u3002 4. \n* \u63A8\u8AD6\u898F\u5247\u7FA4\u3002 5. \n* \u5B9A\u7406\u7FA4\u3002 \u5F62\u5F0F\u4F53\u7CFB\u304C\u5E30\u7D0D\u7684\u3067\u3042\u308B\u3068\u306F\u3001\u516C\u7406\u7FA4\u3068\u63A8\u8AD6\u898F\u5247\u7FA4\u304C\uFF08\u6587\u8108\u306B\u3088\u3063\u3066\uFF09\u5E30\u7D0D\u7684\u96C6\u5408\u307E\u305F\u306F\u5E30\u7D0D\u7684\u53EF\u7B97\u96C6\u5408\u3067\u3042\u308B\u5834\u5408\u3092\u610F\u5473\u3059\u308B\u3002 \u4EBA\u306B\u3088\u3063\u3066\u306F\u300C\u5F62\u5F0F\u4E3B\u7FA9\u300D\u3068\u300C\u5F62\u5F0F\u4F53\u7CFB\u300D\u3092\u307B\u307C\u540C\u7FA9\u306B\u6271\u3046\u304C\u3001\u300C\u5F62\u5F0F\u4E3B\u7FA9\u300D\u306F\u6570\u5B66\u3084\u8AD6\u7406\u5B66\u4EE5\u5916\u306B\u3082\u9069\u7528\u3055\u308C\u308B\u7528\u8A9E\u3067\u3042\u308B\u3002\u4F8B\u3048\u3070\u3001\u30DD\u30FC\u30EB\u30FB\u30C7\u30A3\u30E9\u30C3\u30AF\u306E\u30D6\u30E9-\u30B1\u30C3\u30C8\u8A18\u6CD5\u306F\u7269\u7406\u5B66\u306B\u304A\u3051\u308B\u5F62\u5F0F\u4E3B\u7FA9\u3067\u3042\u308B\u3002"@ja . @prefix xsd: . dbo:wikiPageLength "3554"^^xsd:nonNegativeInteger . @prefix prov: . prov:wasDerivedFrom . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . dbo:wikiPageWikiLink . @prefix dbpedia-wikidata: . dbpedia-wikidata:Q649732 owl:sameAs . foaf:primaryTopic . @prefix rdf: . rdf:type foaf:Document ; foaf:primaryTopic .