Portál:Logika/Klasická logika

• Tautologie | Substituce
• Hilbertovský kalkul | Gentzenovský sekventový kalkul | Kalkul přirozené dedukce
• Věta o úplnosti | Věta o dedukci | Věta o kompaktnosti
• Normální formy formule | Eliminace kvantifikátorů
• Lindenbaumovo lemma
• Lemma o konstantách
• Axiomatická teorie | Henkinovská teorie
• Schéma specifikace
• Robinsonova aritmetika | Peanova aritmetika
• Rosserova věta | První Gödelova věta a Druhá Gödelova věta