Kategori:Matematisk logik

A

• ► Algebraisk logik‎ (2 sidor)

B

• ► Beräkningsteori‎ (8 sidor)
• ► Boolesk algebra‎ (3 sidor)

F

• ► Formella system‎ (1 kategori, 1 sida)

K

• ► Kategoriteori‎ (7 kategorier, 11 sidor)
• ► Klassisk logik‎ (2 kategorier, 2 sidor)
• ► Kvantifikation‎ (1 sida)

M

• ► Modellteori‎ (13 sidor)
• ► Mängdteori‎ (5 kategorier, 94 sidor)

R

• ► Rekursion‎ (2 kategorier, 4 sidor)
• ► Rekursivitet‎ (2 kategorier, 4 sidor)

• Matematisk logik

A

• Alfabet (matematik)
• Andra ordningens logik
• Avgörbarhetsproblemet

B

• Bevisteori

C

• Church-Turings hypotes
• Churchs teorem

D

• Deduktionsteoremet

F

• Formellt system
• Fria och bundna variabler
• Fullständig (modellteori)
• Fullständighet (teori)

H

• Hyperreella tal

M

• Metamatematik
• Modellteori

N

• Normalform (logik)

P

• Paris-Harringtons sats
• Predikatlogik
• Påstående

R

• Relationslogik

T

• Tautologi (logik)