Set Theory & Logic on

This is a list of entries on the Words pages. It is only a rough guide as it is hard to draw a line between general mathematics and set theory and logic. Sy indicates there is related material on to Earliest Uses of Symbols of Set Theory and Logic.  There are also indexes for Calculus and Analysis, Probability & Statistics, Matrices & Linear Algebra and Vector Analysis. For a general perspective on word-formation in mathematics see Mathematical Words: Origins and Sources.

Entries

## A – B

Algebraic Logic

Algorithm

Analysis of Algorithms

Associative

Autological

Axiom

Axiom of Choice

Boolean algebra

Calculus

# Class

Commutative

Complement

Conjunction Sy

Conservative extension

Continuum hypothesis

Contrapositive

Converse

Corollary

Countable

Covering

Decision problem

De Morgan’s laws

Disjoint

Disjunction Sy

Distributive

Domain

Dummy variable

Element Sy

Empty set Sy

Euler diagram

Finitary

Finite character

Function

Formalism

Functor

Fuzzy

## G

Genetic definition

Genetic method

Gödel’s incompleteness theorem

Grundlagenkrisis

Hauptsatz

Heterological

Hilbert’s program

Hyperset

## I – K

Iff

Implicit definition

Induction

Inductive (partially) ordered set

Infix (notation)

Intersection

Intuitionism

Inverse

L  - N

## L

Lemma

Logic

Logicism

Mathematical Induction

Mathematical Logic

Metamathematics

Non-Cantorian

Non-standard analysis

Null class

# Onto

## P

Paraconsistent logic

Peano’s axioms

Platonism

Poset

Postfix notation

Postulate

# Power

Predicate calculus

Prefix

Prenex normal form

Primitive recursive function

Propositional calculus

Propositional function

Q. E. D.

# Quantifier Sy

### R

Recursively enumerable set

# Reflexive

## S

Sentential calculus

Set Sy

Set theory

Simply ordered set

Structure

Subset

Successive Induction

Symmetric

Symmetric difference

Transfinite

Transitive

Truth set

Truth table

Truth value

Turing machine

Turing test

Undecidable

Union

Universe

Venn diagram

Well-ordered

# Working mathematician

## Z 