This article is rated List-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects:

Mathematics This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics ??? This article has not yet received a rating on the project's priority scale.

AFAIK some of these terms, such as "atomic formula", are terms from the field of formal logic that aren't unique to set theory. So should there be a page split creating a new page called "Glossary of logic"? If so, there are also some terms such as consistency, soundness, etc. that could be included there C7XWiki (talk) 19:11, 4 August 2021 (UTC)[reply]

Hi, I have begun to work on a glossary of logic. Currently I have the opposite problem, there are some set theory terms on it that I still have to remove, and I have to fix many of the definitions, but it should become publishable soon. Thiagovscoelho (talk) 19:16, 27 March 2024 (UTC)[reply]

Hey, I have finished it:

• Glossary of logic

Thiagovscoelho (talk) 14:48, 29 April 2024 (UTC)[reply]