This HTML5 document contains 58 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
dctermshttp://purl.org/dc/terms/
dbpedia-owlhttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n12http://cs.dbpedia.org/resource/Teorie_(logika)
n16http://cs.dbpedia.org/resource/Å ablona:
n11http://cs.dbpedia.org/resource/Formule_(logika)
n7http://cs.dbpedia.org/resource/Model_(logika)
wiki-cshttp://cs.wikipedia.org/wiki/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n13http://cs.dbpedia.org/resource/Rovnost_(matematika)
n9http://cs.dbpedia.org/resource/Jazyk_(logika)
dbpedia-cshttp://cs.dbpedia.org/resource/
prop-cshttp://cs.dbpedia.org/property/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
category-cshttp://cs.dbpedia.org/resource/Kategorie:
n5http://cs.wikipedia.org/wiki/Formální_teorie?oldid=
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n6http://cs.dbpedia.org/resource/Teorie_(matematika)
Subject Item
dbpedia-cs:Úplná_teorie
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
dbpedia-cs:Axiom
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
dbpedia-cs:Gödelovy_věty_o_neúplnosti
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
dbpedia-cs:Matematický_důkaz
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
dbpedia-cs:Peanova_aritmetika
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
dbpedia-cs:Robinsonova_aritmetika
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
dbpedia-cs:Teorie_kategorií
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
dbpedia-cs:Presburgerova_aritmetika
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
dbpedia-cs:Löwenheimova–Skolemova_věta
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
dbpedia-cs:Formální_teorie
rdfs:label
Formální teorie
rdfs:comment
Formální teorie je jeden z nejdůležitějších pojmů matematickologické syntaxe. Mnoho matematických teorií může být formalizováno volbou vhodných axiomů. Některé teorie existují pouze jako teorie formální. Příkladem může být teorie množin, jejíž neformalizovaná podoba - tzv. naivní teorie množin je sporná.
prop-cs:wikiPageUsesTemplate
n16:Různé_významy n16:Portály
dbpedia-owl:wikiPageLength
1305
dbpedia-owl:wikiPageWikiLinkText
teorii formální teorii formální teorii Formální teorie matematické teorii formální teorie teorie
dbpedia-owl:wikiPageOutDegree
22
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Teorie_množin dbpedia-cs:Formální_teorie_grup dbpedia-cs:Naivní_teorie_množin dbpedia-cs:Robinsonova_aritmetika n7: category-cs:Matematická_logika n9: dbpedia-cs:Filosofie dbpedia-cs:Matematická_logika dbpedia-cs:Matematický_důkaz dbpedia-cs:Matematika dbpedia-cs:Peanova_aritmetika n11: n13: dbpedia-cs:Axiom dbpedia-cs:Teorie_čisté_rovnosti dbpedia-cs:Zermelova-Fraenkelova_teorie_množin dbpedia-cs:Von_Neumannova-Bernaysova-Gödelova_teorie_množin
prov:wasDerivedFrom
n5:11196206
dcterms:subject
category-cs:Matematická_logika
dbpedia-owl:abstract
Formální teorie je jeden z nejdůležitějších pojmů matematickologické syntaxe. Mnoho matematických teorií může být formalizováno volbou vhodných axiomů. Některé teorie existují pouze jako teorie formální. Příkladem může být teorie množin, jejíž neformalizovaná podoba - tzv. naivní teorie množin je sporná.
prop-cs:druhý
filosofickém pojmu
prop-cs:stránka
teorie
prop-cs:tento
pojmu matematické logiky
dbpedia-owl:wikiPageID
145984
foaf:isPrimaryTopicOf
wiki-cs:Formální_teorie
dbpedia-owl:wikiPageRevisionID
11196206
Subject Item
n6:
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
dbpedia-owl:wikiPageRedirects
dbpedia-cs:Formální_teorie
Subject Item
dbpedia-cs:Algebraická_struktura
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
n12:
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
dbpedia-owl:wikiPageRedirects
dbpedia-cs:Formální_teorie
Subject Item
dbpedia-cs:Bezesporná_teorie
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
n7:
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
dbpedia-cs:Nezávislé_tvrzení
dbpedia-owl:wikiPageWikiLink
dbpedia-cs:Formální_teorie
Subject Item
wiki-cs:Formální_teorie
foaf:primaryTopic
dbpedia-cs:Formální_teorie