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á.

PropertyValue
prop-cs:druhý
  • filosofickém pojmu
prop-cs:stránka
  • teorie
prop-cs:tento
  • pojmu matematické logiky
prop-cs:wikiPageUsesTemplate
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á.
dbpedia-owl:wikiPageID
  • 145984 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 1305 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 22 (xsd:integer)
dbpedia-owl:wikiPageRevisionID
  • 11196206 (xsd:integer)
dbpedia-owl:wikiPageWikiLink
dbpedia-owl:wikiPageWikiLinkText
  • teorie
  • teorii
  • teorii formální
  • formální teorie
  • formální teorii
  • matematické teorii
  • Formální teorie
dcterms:subject
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á.
rdfs:label
  • Formální teorie
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbpedia-owl:wikiPageRedirects of
is dbpedia-owl:wikiPageWikiLink of
is foaf:primaryTopic of