We publish our audit record because accuracy claims should be checkable. Every entry on this site runs through an automated fact-audit pipeline (accuracy audit → source-grounded repair → visual QA); this page is generated from that pipeline's own report, not written by hand.
Last full accuracy audit: 2026-09-05 · 32 entries checked · 12 flagged · 22 issues confirmed · 0 corrected · 22 still open
Set (mathematics) — The entry states 'Roster notation was introduced by Ernst Zermelo in 1908.' This is incorrect; roster notation was used earlier, for example by Georg Cantor in the 1870s–1890s.
Set theory — The entry states Cantor's 1874 paper introduced cardinality, but cardinality was developed later in the 1880s.
Set theory — The entry says Cantor used ω as a general symbol for ordinals, but ω specifically denotes the first transfinite ordinal.
Zermelo–Fraenkel set theory — The claim that ZF/ZFC 'prevents' its models from containing urelements is factually incorrect; standard ZF/ZFC does not forbid urelements, it simply does not include them in the axioms, and models with urelements can be constructed.
Sheffer stroke — The entry states that Sheffer's 1913 paper 'provided an axiomatization of Boolean algebras using the stroke and proved its equivalence to a standard formulation.' In fact, Sheffer's 1913 paper axiomatized Boolean algebras using a single operation that he inter
Sheffer stroke — The entry claims 'Russell and Whitehead used the Sheffer stroke in the 1927 second edition of Principia Mathematica, suggesting it as a replacement for the OR and NOT operations of the first edition.' This is factually incorrect: The second edition (1925-1927)
Structure (mathematical logic) — The claim that the word 'model' in mathematical logic was first used by Quine in 1940 is incorrect; the term was used earlier by Tarski and others in the 1930s.
Structure (mathematical logic) — The claim that Tarski coined the phrase 'theory of models' in 1954 is inaccurate; Tarski used the term 'model theory' earlier, and the phrase appears in his 1953 paper.
Tarski's axioms — The claim that Tarski's system was 'the first system of Euclidean geometry simple enough for all axioms to be expressed in terms of primitive notions only, without defined notions' is inaccurate because Mario Pieri's 1899 axiomatization predates Tarski's and a
Tarski's axioms — The claim that 'all sentences can be written in universal-existential form' is misleading because it is the axioms, not all sentences of the theory, that are in that form.
Tautology (logic) — The claim that Ludwig Wittgenstein first applied the term 'tautology' to redundancies of propositional logic in 1921 is inaccurate; the term was already used in logic by others such as Russell, Whitehead, and MacColl before Wittgenstein.
Tautology (logic) — The claim that Immanuel Kant wrote in 1800 that analytic propositions are tautological is misleading; Kant did not use the term 'tautology' in the modern logical sense, and the association of analytic truths with tautologies came later.
Universal quantification — The symbol ∀ was first used by Gerhard Gentzen in 1935. This is incorrect; the symbol ∀ was introduced by Bertrand Russell in 1903, before Gentzen's use.
Universal quantification — The entry states that Gentzen used ∀ 'by analogy with Giuseppe Peano's turned E (∃) for existential quantification and later use by Bertrand Russell.' This is misleading because Russell used ∀ before Gentzen, so the timeline and attribution are inaccurate.
All content is fetchable as JSON at /data/content/ · llms.txt · sitemap
Spotted an error? Suggest an edit — reader reports go straight into the audit queue.