First-order logic is complete.

the verdict

SUPPORTED

the evidence backs this

Recorded sources

5 sources for · 0 against

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

Is it true that first-order logic is complete?

Yes. Multiple reference sources state that first-order logic is complete, citing Gödel's completeness theorem, which establishes sound and complete deductive systems for first-order logic.

Verdict: SUPPORTED · 5 sources for, 0 against · Last checked 18 Oct 2026

The private library was unavailable for some searches in this check. Missing library results are not evidence against the claim.

Evidence for · 5

First-order logic

Get citation

First-order logic. (n.d.). en.wikipedia.org. https://en.wikipedia.org/wiki/First-order_logic

See more details

More for · 4

Gödel's completeness theorem - Wikipedia

Get citation

Gödel's completeness theorem - Wikipedia. (n.d.). en.wikipedia.org. https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_theorem

Studying deductive logic

1977

Get citation

1937-, B. F. R. (1977). Studying deductive logic. archive.org. https://archive.org/details/studyingdeductiv0000berg

On Gödel

2000

Get citation

1929-, H. J. (2000). On Gödel. archive.org. https://archive.org/details/ongodel0000hint

Automated development of fundamental mathematical theories

Get citation

Art, Q. (n.d.). Automated development of fundamental mathematical theories. archive.org. https://archive.org/details/automateddevelop0000quai

Receipt History

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

I have a source that contradicts this verdict I have a source that supports it No source: request a receipt review 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