Automated theorem proving Second-order arithmetic Jon Barwise Kurt Gödel Set theory Löwenheim–Skolem theorem Philosophy of logic Informal logic Quantifier Categorical theory Logical consequence Consistency Intuitionism Truth table Ordered pair Formal semantics Empty set Mathematical logic Rule of inference Alonzo Church Natural number Semidecidability Mathematics Axiom Validity Logical connective Semantics Axiom scheme Syntax (logic) Philosophy Propositional logic Resolution (logic) Compactness theorem Alan Turing Well-formed formula Theorem David Hilbert Dialetheism Alfred Tarski Formal language Truth value Structure (mathematical logic) George Boolos Digital object identifier Interpretation (logic) Inference
العربية - منطق الرتبة الأولى" title="منطق الرتبة الأولى
Česky - Predikátová logika prvního řádu" title="Predikátová logika prvního řádu
Deutsch - Logik erster Stufe" title="Logik erster Stufe
Ελληνικά - Λογική πρώτου βαθμού" title="Λογική πρώτου βαθμού
Español - Lógica de primer orden" title="Lógica de primer orden
Français - logique du premier ordre" title="logique du premier ordre
עברית - שפה מסדר ראשון" title="שפה מסדר ראשון
Bahasa Indonesia - Logika predikat tingkat pertama" title="Logika predikat tingkat pertama
Italiano - Teoria del primo ordine" title="Teoria del primo ordine
日本語 - 一階述語論理" title="一階述語論理
Polski - Rachunek predykatów pierwszego rzędu" title="Rachunek predykatów pierwszego rzędu
Português - Lógica de primeira ordem" title="Lógica de primeira ordem
Русский - Логика первого порядка" title="Логика первого порядка
Српски / Srpski - Логика првог реда" title="Логика првог реда
Svenska - Första ordningens logik" title="Första ordningens logik
中文 - 一階邏輯" title="一階邏輯
العربية - منطق الرتبة الأولى" title="منطق الرتبة الأولى
Česky - Predikátová logika prvního řádu" title="Predikátová logika prvního řádu
Deutsch - Logik erster Stufe" title="Logik erster Stufe
Ελληνικά - Λογική πρώτου βαθμού" title="Λογική πρώτου βαθμού
Español - Lógica de primer orden" title="Lógica de primer orden
Français - logique du premier ordre" title="logique du premier ordre
עברית - שפה מסדר ראשון" title="שפה מסדר ראשון
Bahasa Indonesia - Logika predikat tingkat pertama" title="Logika predikat tingkat pertama
Italiano - Teoria del primo ordine" title="Teoria del primo ordine
日本語 - 一階述語論理" title="一階述語論理
Polski - Rachunek predykatów pierwszego rzędu" title="Rachunek predykatów pierwszego rzędu
Português - Lógica de primeira ordem" title="Lógica de primeira ordem
Русский - Логика первого порядка" title="Логика первого порядка
Српски / Srpski - Логика првог реда" title="Логика првог реда
Svenska - Första ordningens logik" title="Första ordningens logik
中文 - 一階邏輯" title="一階邏輯