trustmebro.to/r/…
✓ checked
trust me, bro:
here is the receipt.
the claim

Soundness requires that provable formulas are valid, while completeness requires all valid formulas are provable.

the verdict
SUPPORTED
the evidence backs this
Recorded sources
3 sources for · 0 against

Counts group repeated records of the same source within each side. They do not measure evidence strength or source independence.

AS REPORTEDno primary record reached; this is what the reporting says

Is it true that soundness requires that provable formulas are valid, while completeness requires all valid formulas are provable?

Yes. The evidence confirms standard definitions in logic: soundness requires that all provable formulas are valid, and completeness requires that all valid formulas are provable.

Verdict: SUPPORTED · 3 sources for, 0 against · Last checked

How claims like this are judged

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

Evidence for · 3
Wikipedia: Soundness
Reference article covering this claim directly
Get citation
Wikipedia: Soundness. (n.d.). Wikipedia. https://en.wikipedia.org/wiki/Soundness

See more details
More for · 2
Stanford Encyclopedia of Philosophy: Games, Full Abstraction and Full Completeness
Mentions ordinary completeness states that every valid sequent is provable.
Get citation
Stanford Encyclopedia of Philosophy: Games, Full Abstraction and Full Completeness. (n.d.). Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/games-abstraction/

Stanford Encyclopedia of Philosophy: Intuitionistic Logic
Refers to completeness as valid sentences being provable.
Get citation
Stanford Encyclopedia of Philosophy: Intuitionistic Logic. (n.d.). Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/logic-intuitionistic/

Receipt History
first checked04 Aug 2026
judged → SUPPORTED · 7504 Aug 2026
Anyone with this link can read the claim and its public receipt, including any personal information in that text. Open permanent receipt.
Check your own claim
Challenge the receipt
Requests are recorded for review. This does not start an automatic check or guarantee a response time.

Citation formatting by citeproc-js (Frank Bennett) and the Citation Style Language project. Source and licenses.

This receipt is an automated verdict against our published method · not an opinion about any author or publication.
Terms · Privacy · How verdicts work