trustme.bro/r/…
✓ checked
trust me, bro:
here is the receipt.
the claim
Set theory, type theory, and category theory serve as distinct foundational frameworks in mathematics.
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

Set theory, type theory, and category theory are recognized in mathematical logic as distinct frameworks capable of serving as foundations for mathematics.

Evidence for · 3
Wikipedia: Set theory
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: Category Theory
cited by 0
Discusses category theory as a foundational framework for mathematics alongside set theory.
Stanford Encyclopedia of Philosophy: Type Theory
cited by 0
Confirms that type theory can be used as a foundation for mathematics.
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