Home
•
Search
•
Translate
From Wikipedia, the free encyclopedia
<
User:WikiLinuz
v
t
e
Mathematical logic
General
Axiom
list
Cardinality
First-order logic
Formal proof
Formal semantics
Foundations of mathematics
Information theory
Lemma
Logical consequence
Model
Theorem
Theory
Type theory
Theorems (
list
)
and
paradoxes
Gödel's completeness
and
incompleteness theorems
Tarski's undefinability
Banach–Tarski paradox
Cantor's
theorem,
paradox
and
diagonal argument
Compactness
Halting problem
Lindström's
Löwenheim–Skolem
Russell's paradox
Logics
Traditional
Classical logic
Logical truth
Tautology
Proposition
Inference
Logical equivalence
Consistency
Equiconsistency
Argument
Soundness
Validity
Syllogism
Square of opposition
Venn diagram
Propositional
Boolean algebra
Boolean functions
Logical connectives
Propositional calculus
Propositional formula
Truth tables
Many-valued logic
3
finite
∞
Predicate
First-order
list
Second-order
Monadic
Higher-order
Fixed-point
Free
Quantifiers
Predicate
Monadic predicate calculus
Set theory
Set
hereditary
Class
(
Ur-
)
Element
Ordinal number
Extensionality
Forcing
Relation
equivalence
partition
Set operations:
intersection
union
complement
Cartesian product
power set
identities
Types of
sets
Countable
Uncountable
Empty
Inhabited
Singleton
Finite
Infinite
Transitive
Ultrafilter
Recursive
Fuzzy
Universal
Universe
constructible
Grothendieck
Von Neumann
Maps
and
cardinality
Function
/
Map
domain
codomain
image
In
/
Sur
/
Bi
-jection
Schröder–Bernstein theorem
Isomorphism
Gödel numbering
Enumeration
Large cardinal
inaccessible
Aleph number
Operation
binary
Set theories
Zermelo–Fraenkel
axiom of choice
continuum hypothesis
General
Kripke–Platek
Morse–Kelley
Naive
New Foundations
Tarski–Grothendieck
Von Neumann–Bernays–Gödel
Ackermann
Constructive
Formal systems
(
list
),
language
and
syntax
Alphabet
Arity
Automata
Axiom schema
Expression
ground
Extension
by definition
conservative
Relation
Formation rule
Grammar
Formula
atomic
closed
ground
open
Free/bound variable
Language
Metalanguage
Logical connective
¬
∨
∧
→
↔
=
Predicate
functional
variable
propositional variable
Proof
Quantifier
∃
!
∀
rank
Sentence
atomic
spectrum
Signature
String
Substitution
Symbol
function
logical/constant
non-logical
variable
Term
Theory
list
Example
axiomatic
systems
(
list
)
of
arithmetic
:
Peano
second-order
elementary function
primitive recursive
Robinson
Skolem
of the
real numbers
Tarski's axiomatization
of
Boolean algebras
canonical
minimal axioms
of
geometry
:
Euclidean
:
Elements
Hilbert's
Tarski's
non-Euclidean
Principia Mathematica
Proof theory
Formal proof
Natural deduction
Logical consequence
Rule of inference
Sequent calculus
Theorem
Systems
axiomatic
deductive
Hilbert
list
Complete theory
Independence
(
from ZFC
)
Proof of impossibility
Ordinal analysis
Reverse mathematics
Self-verifying theories
Model theory
Interpretation
function
of models
Model
equivalence
finite
saturated
spectrum
submodel
Non-standard model
of arithmetic
Diagram
elementary
Categorical theory
Model complete theory
Satisfiability
Semantics of logic
Strength
Theories of truth
semantic
Tarski's
Kripke's
T-schema
Transfer principle
Truth predicate
Truth value
Type
Ultraproduct
Validity
Computability theory
Church encoding
Church–Turing thesis
Computably enumerable
Computable function
Computable set
Decision problem
decidable
undecidable
P
NP
P versus NP problem
Kolmogorov complexity
Lambda calculus
Primitive recursive function
Recursion
Recursive set
Turing machine
Type theory
Related
Abstract logic
Algebraic logic
Automated theorem proving
Category theory
Concrete
/
Abstract category
Category of sets
History of logic
History of mathematical logic
timeline
Logicism
Mathematical object
Philosophy of mathematics
Supertask
Mathematics portal
v
t
e
Classical logic
General
Quantifiers
Predicate
Connective
Tautology
Truth tables
Truth function
Truth value
Well-formed formula
Idempotency of entailment
Logicism
Problem of multiple generality
Associativity
Distribution
Validity
Soundness
Classical logics
Term
Propositional
First-order
Second-order
Higher-order
Principles
Commutativity of conjunction
Excluded middle
Bivalence
Noncontradiction
Monotonicity of entailment
Explosion
Rules
De Morgan's laws
Material implication
Transposition
modus ponens
modus tollens
modus ponendo tollens
Constructive dilemma
Destructive dilemma
Disjunctive syllogism
Hypothetical syllogism
Absorption
Introduction
Negation
Double negation
Existential
Universal
Biconditional
Conjunction
Disjunction
Elimination
Double negation
Existential
Universal
Biconditional
Conjunction
Disjunction
People
Bernard Bolzano
George Boole
Georg Cantor
Richard Dedekind
Augustus De Morgan
Gottlob Frege
Kurt Gödel
Hugh MacColl
Giuseppe Peano
Charles Sanders Peirce
Bertrand Russell
Ernst Schröder
Henry M. Sheffer
Alfred Tarski
Willard Van Orman Quine
Ludwig Wittgenstein
Jan Łukasiewicz
Works
Begriffsschrift
Function and Concept
The Principles of Mathematics
Principia Mathematica
Tractatus Logico-Philosophicus
v
t
e
Ancient Greek mathematics
Mathematicians
(timeline)
Anaxagoras
Anthemius
Archytas
Aristaeus the Elder
Aristarchus
Aristotle
Apollonius
Archimedes
Autolycus
Bion
Bryson
Callippus
Carpus
Chrysippus
Cleomedes
Conon
Ctesibius
Democritus
Dicaearchus
Diocles
Diophantus
Dinostratus
Dionysodorus
Domninus
Eratosthenes
Eudemus
Euclid
Eudoxus
Eutocius
Geminus
Heliodorus
Heron
Hipparchus
Hippasus
Hippias
Hippocrates
Hypatia
Hypsicles
Isidore of Miletus
Leon
Marinus
Menaechmus
Menelaus
Metrodorus
Nicomachus
Nicomedes
Nicoteles
Oenopides
Pappus
Perseus
Philolaus
Philon
Philonides
Plato
Porphyry
Posidonius
Proclus
Ptolemy
Pythagoras
Serenus
Simplicius
Sosigenes
Sporus
Thales
Theaetetus
Theano
Theodorus
Theodosius
Theon of Alexandria
Theon of Smyrna
Thymaridas
Xenocrates
Zeno of Elea
Zeno of Sidon
Zenodorus
Treatises
Almagest
Archimedes Palimpsest
Arithmetica
Conics
(Apollonius)
Catoptrics
Data
(Euclid)
Elements
(Euclid)
Measurement of a Circle
On Conoids and Spheroids
On the Sizes and Distances
(Aristarchus)
On Sizes and Distances
(Hipparchus)
On the Moving Sphere
(Autolycus)
Optics
(Euclid)
On Spirals
On the Sphere and Cylinder
Ostomachion
Planisphaerium
Spherics
(Theodosius)
Spherics
(Menelaus)
The Quadrature of the Parabola
The Sand Reckoner
Problems
Constructible numbers
Angle trisection
Doubling the cube
Squaring the circle
Problem of Apollonius
Concepts
and definitions
Angle
Central
Inscribed
Axiomatic system
Axiom
Chord
Circles of Apollonius
Apollonian circles
Apollonian gasket
Circumscribed circle
Commensurability
Diophantine equation
Doctrine of proportionality
Euclidean geometry
Golden ratio
Greek numerals
Incircle and excircles of a triangle
Method of exhaustion
Parallel postulate
Platonic solid
Lune of Hippocrates
Quadratrix of Hippias
Regular polygon
Straightedge and compass construction
Triangle center
Results
In
Elements
Angle bisector theorem
Exterior angle theorem
Euclidean algorithm
Euclid's theorem
Geometric mean theorem
Greek geometric algebra
Hinge theorem
Inscribed angle theorem
Intercept theorem
Intersecting chords theorem
Intersecting secants theorem
Law of cosines
Pons asinorum
Pythagorean theorem
Tangent-secant theorem
Thales's theorem
Theorem of the gnomon
Apollonius
Apollonius's theorem
Other
Aristarchus's inequality
Crossbar theorem
Heron's formula
Irrational numbers
Law of sines
Menelaus's theorem
Pappus's area theorem
Problem II.8 of
Arithmetica
Ptolemy's inequality
Ptolemy's table of chords
Ptolemy's theorem
Spiral of Theodorus
Centers
Cyrene
Mouseion of Alexandria
Platonic Academy
Related
Ancient Greek astronomy
Attic numerals
Greek numerals
Latin translations of the 12th century
Non-Euclidean geometry
Philosophy of mathematics
Neusis construction
History of
A History of Greek Mathematics
by
Thomas Heath
algebra
timeline
arithmetic
timeline
calculus
timeline
geometry
timeline
logic
timeline
mathematics
timeline
numbers
prehistoric counting
numeral systems
list
Other cultures
Arabian/Islamic
Babylonian
Chinese
Egyptian
Incan
Indian
Japanese
Ancient Greece portal
•
Mathematics portal
Top Of Page
Home
•
Search
•
Translate
©
CSE