Mathematical Logic Glossary

This is a glossary of some terms used in the branch of Mathematics known as Mathematical Logic .

__NOTOC__

A

B

C

Consistency: A Formal System which does not contain a Contradiction , or, more precisely, for no Proposition $\phi\,$ are both $\phi\,$ and

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

W

Z

Information About