SHMARQL

Tarski's undefinability theorem

<http://www.wikidata.org/entity/Q574902>

theorem that truth in the standard model of a formal system cannot be defined within the system
rdfs:label
"Tarski's undefinability theorem"@en
skos:altLabel
"teoremo de Tarski"@eo
schema:description
"theorem that truth in the standard model of a formal system cannot be defined within the system"@en
schema:dateModified "2026-10-11T02:00:48+00:00"^^xsd:dateTime
schema:version 2555751242
wikibase:identifiers 3
wikibase:sitelinks 11
wikibase:statements 7
p:P138 wd:statement/q574902-7b00819b-4cc7-3828-48c5-1fd981b37520
p:P227 wd:statement/Q574902-44F7A3D0-5B5A-4DB6-9E6D-C3F85B951BE7
p:P31 wd:statement/Q574902-B6328741-5C16-4959-8A02-C45F985F8CB1
p:P361 wd:statement/Q574902-E2DB3B09-DC51-47FA-B6E2-3D0964C465EF
p:P6104 wd:statement/Q574902-01BF8F17-309E-4272-9944-12D7DD3E0DFD
p:P6366 wd:statement/Q574902-BF8F3A11-3739-4401-8A84-C231546E2A7B
p:P646 wd:statement/Q574902-CE548521-F75E-40A3-97BB-46114030FD54
p:direct-normalized/P227 <https://d-nb.info/gnd/1165695189>
p:direct-normalized/P6366 <https://makg.org/entity/2776494082>
wdt:P138 Alfred Tarski
wdt:P227 "1165695189"
wdt:P31 theorem
wdt:P361 list of theorems
wdt:P6104 WikiProject Mathematics
wdt:P6366 "2776494082"
wdt:P646 "/m/02sfqr"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata