trustme.bro/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
refutedsupported
the weight of evidence
3 sources for · 0 against
AS REPORTEDno primary record reached; this is what the reporting says

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

Evidence for · 3
Wikipedia: Soundness
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 reference works, not journal abstracts.

More for · 2
Stanford Encyclopedia of Philosophy: Games, Full Abstraction and Full Completeness
cited by 0
Mentions ordinary completeness states that every valid sequent is provable.
Stanford Encyclopedia of Philosophy: Intuitionistic Logic
cited by 0
Refers to completeness as valid sentences being provable.
The paper trail · every fact has a biography
first checked04 Aug 2026
judged → SUPPORTED · 7504 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