Trust Me Bro: the receipt

trustme.bro/r/…

✓ checked

trust me, bro:

here is the receipt.

the claim

Systems of logic that deviate from first-order logic are logically possible

the verdict

SUPPORTED

the evidence backs this

refutedsupported

the weight of evidence

1 source for · 0 against

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

The existence of alternative logical systems, such as higher-order, modal, or intuitionistic logics, is a standard and well-established fact in mathematical logic and philosophy.

Evidence for · 1

Stanford Encyclopedia of Philosophy: The Emergence of First - Order Logic

cited by 0

Contrasts first-order logic with higher-order systems, indicating non-first-order logics exist.

citation format

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.

The paper trail · every fact has a biography

first checked04 Aug 2026

judged → SUPPORTED · 7504 Aug 2026

More receipts

Is it true that Phonological evolution involves regular processes of phoneme elision, vowel nasalization, and tonogenesis?Is it true that Hemangiomas are treatable with medication?Is it true that Research identifies forms of intelligence that diverge from standard IQ measures?

Random receipt →The Trust Wiki →

This receipt carries no identity, shared or not. Sharing publishes your connection to it, not your data.

Check your own claim

Challenge the receipt

I have a source that contradicts this verdict I have a source that supports it No source: the research is thin, dig deeper

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