trustme.bro/r/…
✓ checked
trust me, bro:
here is the receipt.
the claim
Tarski's original proof demonstrates the undefinability of truth within formal languages
the verdict
REFUTED
the evidence says no
refutedsupported
the weight of evidence
0 sources for · 3 against
AS REPORTEDno primary record reached; this is what the reporting says

Tarski's foundational work famously established how to define truth for formalized languages (rather than proving truth is undefinable within them, which is often confused with his undefinability theorem regarding arithmetic or semantic paradoxes).

Evidence against · 3
Wikipedia: Alfred Tarski
cited by 0
Reference article covering this claim directly
See more details
How claims like this are judged

Judged against reference works: claims of this kind are settled by the historical reference record, not journal abstracts.

More against · 2
Stanford Encyclopedia of Philosophy: Tarski ’s Truth Definitions
cited by 0
States that Tarski provided a truth definition for standard languages of logic, contradicting undefinability.
Stanford Encyclopedia of Philosophy: Truth
cited by 0
Discusses Tarski's theory of truth and biconditionals, indicating a successful definition of truth rather than undefinability.
The paper trail · every fact has a biography
first checked04 Aug 2026
judged → REFUTED · 004 Aug 2026
This receipt carries no identity, shared or not. Sharing publishes your connection to it, not your data.
Check your own claim
Challenge the receipt
trust me, bro: win the argument, pass the class, survive peer review.
This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work · Dispute this receipt