@prefix rdfs: . rdfs:label "Onafhankelijkheid (wiskundige logica)"@nl , "Independencia (l\u00F3gica matem\u00E1tica)"@es , "Independ\u00E8ncia (l\u00F2gica)"@ca , "Independ\u00EAncia (l\u00F3gica matem\u00E1tica)"@pt , "\u041D\u0435\u0437\u0430\u043B\u0435\u0436\u043D\u0456\u0441\u0442\u044C \u0441\u0438\u0441\u0442\u0435\u043C\u0438 \u0430\u043A\u0441\u0456\u043E\u043C"@uk , "Nez\u00E1visl\u00E9 tvrzen\u00ED"@cs , "Independence (mathematical logic)"@en , "Oavg\u00F6rbar"@sv , "Ind\u00E9pendance (logique math\u00E9matique)"@fr , "\u041D\u0435\u0437\u0430\u0432\u0438\u0441\u0438\u043C\u043E\u0441\u0442\u044C \u0441\u0438\u0441\u0442\u0435\u043C\u044B \u0430\u043A\u0441\u0438\u043E\u043C"@ru ; rdfs:comment "\u041D\u0435\u0437\u0430\u0432\u0438\u0301\u0441\u0438\u043C\u043E\u0441\u0442\u044C \u0441\u0438\u0441\u0442\u0435\u0301\u043C\u044B \u0430\u043A\u0441\u0438\u043E\u0301\u043C \u2015 \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u043E \u0441\u0438\u0441\u0442\u0435\u043C\u044B \u0430\u043A\u0441\u0438\u043E\u043C \u0434\u0430\u043D\u043D\u043E\u0439 \u0430\u043A\u0441\u0438\u043E\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u0442\u0435\u043E\u0440\u0438\u0438, \u0441\u043E\u0441\u0442\u043E\u044F\u0449\u0435\u0435 \u0432 \u0442\u043E\u043C, \u0447\u0442\u043E \u043A\u0430\u0436\u0434\u0430\u044F \u0430\u043A\u0441\u0438\u043E\u043C\u0430 \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u043D\u0435\u0437\u0430\u0432\u0438\u0441\u0438\u043C\u043E\u0439, \u0442\u043E \u0435\u0441\u0442\u044C \u043D\u0435 \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u0438\u043C \u0441\u043B\u0435\u0434\u0441\u0442\u0432\u0438\u0435\u043C \u0438\u0437 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u043E\u0441\u0442\u0430\u043B\u044C\u043D\u044B\u0445 \u0430\u043A\u0441\u0438\u043E\u043C \u044D\u0442\u043E\u0439 \u0442\u0435\u043E\u0440\u0438\u0438. \u0421\u0438\u0441\u0442\u0435\u043C\u0430 \u0430\u043A\u0441\u0438\u043E\u043C, \u043E\u0431\u043B\u0430\u0434\u0430\u044E\u0449\u0430\u044F \u044D\u0442\u0438\u043C \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u043E\u043C, \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u043D\u0435\u0437\u0430\u0432\u0438\u0441\u0438\u043C\u043E\u0439."@ru , "\u041D\u0435\u0437\u0430\u043B\u0435\u0436\u043D\u0456\u0441\u0442\u044C \u0441\u0438\u0441\u0442\u0435\u043C\u0438 \u0430\u043A\u0441\u0456\u043E\u043C \u2015 \u0432\u043B\u0430\u0441\u0442\u0438\u0432\u0456\u0441\u0442\u044C \u0441\u0438\u0441\u0442\u0435\u043C\u0438 \u0430\u043A\u0441\u0456\u043E\u043C \u0434\u0430\u043D\u043E\u0457 \u0430\u043A\u0441\u0456\u043E\u043C\u0430\u0442\u0438\u0447\u043D\u043E\u0457 \u0442\u0435\u043E\u0440\u0456\u0457, \u0449\u043E \u043F\u043E\u043B\u044F\u0433\u0430\u0454 \u0432 \u0442\u043E\u043C\u0443, \u0449\u043E \u043A\u043E\u0436\u043D\u0430 \u0430\u043A\u0441\u0456\u043E\u043C\u0430 \u0454 \u043D\u0435\u0437\u0430\u043B\u0435\u0436\u043D\u043E\u044E, \u0442\u043E\u0431\u0442\u043E \u043D\u0435 \u0454 \u043B\u043E\u0433\u0456\u0447\u043D\u0438\u043C \u043D\u0430\u0441\u043B\u0456\u0434\u043A\u043E\u043C \u0437 \u043C\u043D\u043E\u0436\u0438\u043D\u0438 \u0456\u043D\u0448\u0438\u0445 \u0430\u043A\u0441\u0456\u043E\u043C \u0446\u0456\u0454\u0457 \u0442\u0435\u043E\u0440\u0456\u0457. \u0421\u0438\u0441\u0442\u0435\u043C\u0443 \u0430\u043A\u0441\u0456\u043E\u043C, \u0449\u043E \u043C\u0430\u0454 \u0446\u044E \u0432\u043B\u0430\u0441\u0442\u0438\u0432\u0456\u0441\u0442\u044C, \u043D\u0430\u0437\u0438\u0432\u0430\u044E\u0442\u044C \u043D\u0435\u0437\u0430\u043B\u0435\u0436\u043D\u043E\u044E."@uk , "In de wiskundige logica verwijst onafhankelijkheid naar de onbewijsbaarheid van een uit andere proposities. Een propositie \u03C3 is onafhankelijk van een bepaalde T als T \u03C3 noch bewijst, noch weerlegt; dat wil zeggen dat het onmogelijk is om \u03C3 uit T te bewijzen en dat het ook onmogelijk is uit T te bewijzen dat \u03C3 onwaar is. Soms wordt gezegd dat \u03C3 (op synonieme wijze) onbeslisbaar is vanuit T; dit is niet dezelfde betekenis van \"beslisbaarheid\" als wordt gebruikt bij een beslissingsprobleem."@nl , "Tvrzen\u00ED v matematick\u00E9 teorii se naz\u00FDv\u00E1 nez\u00E1visl\u00E9, pokud je nelze z jej\u00EDch axiom\u016F dok\u00E1zat ani vyvr\u00E1tit. Jin\u00FDmi slovy, pokud teorie z\u016Fstane bezesporn\u00E1, pokud k n\u00ED p\u0159id\u00E1me toto tvrzen\u00ED nebo jeho negaci. Vzhledem ke G\u00F6delov\u011B v\u011Bt\u011B o \u00FAplnosti lze ekvivalentn\u011B \u0159\u00EDci, \u017Ee tvrzen\u00ED A je nez\u00E1visl\u00E9 na teorii T, pokud v n\u011Bkter\u00E9m jej\u00EDm modelu plat\u00ED a v n\u011Bkter\u00E9m jin\u00E9m neplat\u00ED. Teorie je \u00FApln\u00E1, pokud neobsahuje \u017E\u00E1dn\u00E1 nez\u00E1visl\u00E1 tvrzen\u00ED."@cs , "Na l\u00F3gica matem\u00E1tica, independ\u00EAncia se refere a uma senten\u00E7a que n\u00E3o pode ser provada a partir de outras senten\u00E7as. Uma senten\u00E7a \u03C3 \u00E9 Independente de uma dada teoria de primeira ordem T se T nem prova nem refuta \u03C3; isto \u00E9, \u00E9 imposs\u00EDvel provar \u03C3 a partir de T, e tamb\u00E9m \u00E9 imposs\u00EDvel provar T dado que \u03C3 \u00E9 falsa. Algumas vezes, \u03C3 \u00E9 dito como sendo insol\u00FAvel ou Indemonstr\u00E1vel a partir de T. Uma teoria T \u00E9 independente se cada axioma em T n\u00E3o \u00E9 derivado de outros axiomas restantes em T. Um conjunto de axiomas independentes \u00E9 dito como sistema axiom\u00E1tico independente."@pt , "En l\u00F3gica matem\u00E1tica, la noci\u00F3n de independencia o indecidibilidad se refiere a la imposibilidad de demostrar o refutar un predicado a partir de otros. Una sentencia \u03C3 se dice independiente o indecidible en una teor\u00EDa l\u00F3gica T si T no demuestra ni refuta \u03C3; esto es, si no es posible probar \u03C3 partiendo de T, ni probar que \u03C3 es falsa."@es , "En l\u00F2gica matem\u00E0tica, la noci\u00F3 d'independ\u00E8ncia o indecidibilitat es refereix a la impossibilitat de demostrar o refutar un predicat a partir d'altres. Una sent\u00E8ncia \u03C3 s'anomena independent o indecidible en una teoria l\u00F2gica T si T ni demostra ni refuta \u03C3; \u00E9s a dir, si no \u00E9s possible demostrar \u03C3 partint de T, ni demostrar que \u03C3 \u00E9s falsa."@ca , "Inom logik s\u00E4ger man att ett p\u00E5st\u00E5ende P \u00E4r oavg\u00F6rbart i en viss teori T om man varken kan bevisa P eller \u00ACP i T. Det inneb\u00E4r att i s\u00E5 fall \u00E4r b\u00E5de T + P och T + \u00ACP konsistenta teorier, f\u00F6r om T hade varit hade man kunnat bevisa b\u00E5de P och \u00ACP."@sv , "En logique math\u00E9matique, l'ind\u00E9pendance se r\u00E9f\u00E8re \u00E0 la non-prouvabilit\u00E9 d'une proposition relativement \u00E0 d'autres propositions. Une proposition \u03C3 est ind\u00E9pendante d'une th\u00E9orie de premier ordre donn\u00E9e T, si T ne prouve pas \u03C3; \u00E0 savoir, il est impossible de prouver \u03C3 \u00E0 partir de T, et il est \u00E9galement impossible de prouver \u00E0 partir de T que \u03C3 est faux. Parfois, \u03C3 est dit \u00EAtre ind\u00E9cidable de T; \u00E0 ne pas confondre \u00E0 la \u00AB d\u00E9cidabilit\u00E9 \u00BB, du probl\u00E8me de d\u00E9cision."@fr , "In mathematical logic, independence is the unprovability of a sentence from other sentences. A sentence \u03C3 is independent of a given first-order theory T if T neither proves nor refutes \u03C3; that is, it is impossible to prove \u03C3 from T, and it is also impossible to prove from T that \u03C3 is false. Sometimes, \u03C3 is said (synonymously) to be undecidable from T; this is not the same meaning of \"decidability\" as in a decision problem."@en . @prefix dcterms: . @prefix dbc: . dcterms:subject dbc:Mathematical_logic , dbc:Proof_theory . @prefix dbo: . dbo:wikiPageID 1141208 ; dbo:wikiPageRevisionID 1065893497 . @prefix dbr: . dbo:wikiPageWikiLink dbr:Decision_problem , , dbr:Continuum_hypothesis , dbr:Kurepa_tree , dbc:Proof_theory , dbr:Large_cardinal , dbr:Springer-Verlag , dbr:List_of_statements_independent_of_ZFC , dbc:Mathematical_logic , , dbr:Parallel_postulate , , dbr:Axiom_of_real_determinacy , dbr:Geometry , dbr:Undecidable_problem , dbr:Axiom_of_determinacy , dbr:Axiom_of_choice , , dbr:Addison-Wesley , , dbr:Strongly_inaccessible_cardinal , dbr:Mathematical_logic , . @prefix ns5: . dbo:wikiPageExternalLink ns5:mathematicallogi00jdon . @prefix owl: . @prefix wikidata: . owl:sameAs wikidata:Q2705017 , , , , , , , , , , , , , , . @prefix dbp: . @prefix dbt: . dbp:wikiPageUsesTemplate dbt:Mathematical_logic , dbt:Citation , dbt:Reflist ; dbo:abstract "In de wiskundige logica verwijst onafhankelijkheid naar de onbewijsbaarheid van een uit andere proposities. Een propositie \u03C3 is onafhankelijk van een bepaalde T als T \u03C3 noch bewijst, noch weerlegt; dat wil zeggen dat het onmogelijk is om \u03C3 uit T te bewijzen en dat het ook onmogelijk is uit T te bewijzen dat \u03C3 onwaar is. Soms wordt gezegd dat \u03C3 (op synonieme wijze) onbeslisbaar is vanuit T; dit is niet dezelfde betekenis van \"beslisbaarheid\" als wordt gebruikt bij een beslissingsprobleem."@nl , "Inom logik s\u00E4ger man att ett p\u00E5st\u00E5ende P \u00E4r oavg\u00F6rbart i en viss teori T om man varken kan bevisa P eller \u00ACP i T. Det inneb\u00E4r att i s\u00E5 fall \u00E4r b\u00E5de T + P och T + \u00ACP konsistenta teorier, f\u00F6r om T hade varit hade man kunnat bevisa b\u00E5de P och \u00ACP."@sv , "En l\u00F3gica matem\u00E1tica, la noci\u00F3n de independencia o indecidibilidad se refiere a la imposibilidad de demostrar o refutar un predicado a partir de otros. Una sentencia \u03C3 se dice independiente o indecidible en una teor\u00EDa l\u00F3gica T si T no demuestra ni refuta \u03C3; esto es, si no es posible probar \u03C3 partiendo de T, ni probar que \u03C3 es falsa."@es , "In mathematical logic, independence is the unprovability of a sentence from other sentences. A sentence \u03C3 is independent of a given first-order theory T if T neither proves nor refutes \u03C3; that is, it is impossible to prove \u03C3 from T, and it is also impossible to prove from T that \u03C3 is false. Sometimes, \u03C3 is said (synonymously) to be undecidable from T; this is not the same meaning of \"decidability\" as in a decision problem. A theory T is independent if each axiom in T is not provable from the remaining axioms in T. A theory for which there is an independent set of axioms is independently axiomatizable."@en , "Tvrzen\u00ED v matematick\u00E9 teorii se naz\u00FDv\u00E1 nez\u00E1visl\u00E9, pokud je nelze z jej\u00EDch axiom\u016F dok\u00E1zat ani vyvr\u00E1tit. Jin\u00FDmi slovy, pokud teorie z\u016Fstane bezesporn\u00E1, pokud k n\u00ED p\u0159id\u00E1me toto tvrzen\u00ED nebo jeho negaci. Vzhledem ke G\u00F6delov\u011B v\u011Bt\u011B o \u00FAplnosti lze ekvivalentn\u011B \u0159\u00EDci, \u017Ee tvrzen\u00ED A je nez\u00E1visl\u00E9 na teorii T, pokud v n\u011Bkter\u00E9m jej\u00EDm modelu plat\u00ED a v n\u011Bkter\u00E9m jin\u00E9m neplat\u00ED. Teorie je \u00FApln\u00E1, pokud neobsahuje \u017E\u00E1dn\u00E1 nez\u00E1visl\u00E1 tvrzen\u00ED."@cs , "Na l\u00F3gica matem\u00E1tica, independ\u00EAncia se refere a uma senten\u00E7a que n\u00E3o pode ser provada a partir de outras senten\u00E7as. Uma senten\u00E7a \u03C3 \u00E9 Independente de uma dada teoria de primeira ordem T se T nem prova nem refuta \u03C3; isto \u00E9, \u00E9 imposs\u00EDvel provar \u03C3 a partir de T, e tamb\u00E9m \u00E9 imposs\u00EDvel provar T dado que \u03C3 \u00E9 falsa. Algumas vezes, \u03C3 \u00E9 dito como sendo insol\u00FAvel ou Indemonstr\u00E1vel a partir de T. Uma teoria T \u00E9 independente se cada axioma em T n\u00E3o \u00E9 derivado de outros axiomas restantes em T. Um conjunto de axiomas independentes \u00E9 dito como sistema axiom\u00E1tico independente."@pt , "En logique math\u00E9matique, l'ind\u00E9pendance se r\u00E9f\u00E8re \u00E0 la non-prouvabilit\u00E9 d'une proposition relativement \u00E0 d'autres propositions. Une proposition \u03C3 est ind\u00E9pendante d'une th\u00E9orie de premier ordre donn\u00E9e T, si T ne prouve pas \u03C3; \u00E0 savoir, il est impossible de prouver \u03C3 \u00E0 partir de T, et il est \u00E9galement impossible de prouver \u00E0 partir de T que \u03C3 est faux. Parfois, \u03C3 est dit \u00EAtre ind\u00E9cidable de T; \u00E0 ne pas confondre \u00E0 la \u00AB d\u00E9cidabilit\u00E9 \u00BB, du probl\u00E8me de d\u00E9cision. Une th\u00E9orie T est ind\u00E9pendante si chaque axiome pr\u00E9sent dans T n'est pas prouvable \u00E0 partir des autres axiomes de T. Une th\u00E9orie pour laquelle il existe un ensemble ind\u00E9pendant d'axiomes est dit ind\u00E9pendamment axiomatisable"@fr , "\u041D\u0435\u0437\u0430\u0432\u0438\u0301\u0441\u0438\u043C\u043E\u0441\u0442\u044C \u0441\u0438\u0441\u0442\u0435\u0301\u043C\u044B \u0430\u043A\u0441\u0438\u043E\u0301\u043C \u2015 \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u043E \u0441\u0438\u0441\u0442\u0435\u043C\u044B \u0430\u043A\u0441\u0438\u043E\u043C \u0434\u0430\u043D\u043D\u043E\u0439 \u0430\u043A\u0441\u0438\u043E\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u0442\u0435\u043E\u0440\u0438\u0438, \u0441\u043E\u0441\u0442\u043E\u044F\u0449\u0435\u0435 \u0432 \u0442\u043E\u043C, \u0447\u0442\u043E \u043A\u0430\u0436\u0434\u0430\u044F \u0430\u043A\u0441\u0438\u043E\u043C\u0430 \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u043D\u0435\u0437\u0430\u0432\u0438\u0441\u0438\u043C\u043E\u0439, \u0442\u043E \u0435\u0441\u0442\u044C \u043D\u0435 \u044F\u0432\u043B\u044F\u0435\u0442\u0441\u044F \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u0438\u043C \u0441\u043B\u0435\u0434\u0441\u0442\u0432\u0438\u0435\u043C \u0438\u0437 \u043C\u043D\u043E\u0436\u0435\u0441\u0442\u0432\u0430 \u043E\u0441\u0442\u0430\u043B\u044C\u043D\u044B\u0445 \u0430\u043A\u0441\u0438\u043E\u043C \u044D\u0442\u043E\u0439 \u0442\u0435\u043E\u0440\u0438\u0438. \u0421\u0438\u0441\u0442\u0435\u043C\u0430 \u0430\u043A\u0441\u0438\u043E\u043C, \u043E\u0431\u043B\u0430\u0434\u0430\u044E\u0449\u0430\u044F \u044D\u0442\u0438\u043C \u0441\u0432\u043E\u0439\u0441\u0442\u0432\u043E\u043C, \u043D\u0430\u0437\u044B\u0432\u0430\u0435\u0442\u0441\u044F \u043D\u0435\u0437\u0430\u0432\u0438\u0441\u0438\u043C\u043E\u0439."@ru , "En l\u00F2gica matem\u00E0tica, la noci\u00F3 d'independ\u00E8ncia o indecidibilitat es refereix a la impossibilitat de demostrar o refutar un predicat a partir d'altres. Una sent\u00E8ncia \u03C3 s'anomena independent o indecidible en una teoria l\u00F2gica T si T ni demostra ni refuta \u03C3; \u00E9s a dir, si no \u00E9s possible demostrar \u03C3 partint de T, ni demostrar que \u03C3 \u00E9s falsa."@ca , "\u041D\u0435\u0437\u0430\u043B\u0435\u0436\u043D\u0456\u0441\u0442\u044C \u0441\u0438\u0441\u0442\u0435\u043C\u0438 \u0430\u043A\u0441\u0456\u043E\u043C \u2015 \u0432\u043B\u0430\u0441\u0442\u0438\u0432\u0456\u0441\u0442\u044C \u0441\u0438\u0441\u0442\u0435\u043C\u0438 \u0430\u043A\u0441\u0456\u043E\u043C \u0434\u0430\u043D\u043E\u0457 \u0430\u043A\u0441\u0456\u043E\u043C\u0430\u0442\u0438\u0447\u043D\u043E\u0457 \u0442\u0435\u043E\u0440\u0456\u0457, \u0449\u043E \u043F\u043E\u043B\u044F\u0433\u0430\u0454 \u0432 \u0442\u043E\u043C\u0443, \u0449\u043E \u043A\u043E\u0436\u043D\u0430 \u0430\u043A\u0441\u0456\u043E\u043C\u0430 \u0454 \u043D\u0435\u0437\u0430\u043B\u0435\u0436\u043D\u043E\u044E, \u0442\u043E\u0431\u0442\u043E \u043D\u0435 \u0454 \u043B\u043E\u0433\u0456\u0447\u043D\u0438\u043C \u043D\u0430\u0441\u043B\u0456\u0434\u043A\u043E\u043C \u0437 \u043C\u043D\u043E\u0436\u0438\u043D\u0438 \u0456\u043D\u0448\u0438\u0445 \u0430\u043A\u0441\u0456\u043E\u043C \u0446\u0456\u0454\u0457 \u0442\u0435\u043E\u0440\u0456\u0457. \u0421\u0438\u0441\u0442\u0435\u043C\u0443 \u0430\u043A\u0441\u0456\u043E\u043C, \u0449\u043E \u043C\u0430\u0454 \u0446\u044E \u0432\u043B\u0430\u0441\u0442\u0438\u0432\u0456\u0441\u0442\u044C, \u043D\u0430\u0437\u0438\u0432\u0430\u044E\u0442\u044C \u043D\u0435\u0437\u0430\u043B\u0435\u0436\u043D\u043E\u044E."@uk . @prefix prov: . prov:wasDerivedFrom . @prefix xsd: . dbo:wikiPageLength "4198"^^xsd:nonNegativeInteger . @prefix foaf: . foaf:isPrimaryTopicOf .