• 구조,structure
       [[일차논리,first-order_logic]]
• 논리,logic
        [[일차논리,first-order_logic]] (= [[술어논리,predicate_logic]])
       일차논리 : 술부에 quantifier로 한정된 변수를 쓰는 것이 허용가능한 논리, 괴델의 완전성 정리가 성립 (see [[일차논리,first-order_logic]])
        1st-order logic = [[일차논리,first-order_logic]] = [[술어논리,predicate_logic]]
        [[일차논리,first-order_logic]] = [[술어논리,predicate_logic]]
       [[일차논리,first-order_logic]] (= [[술어논리,predicate_logic]])
• 명제논리,propositional_logic
       AKA [[영차논리,zeroth-order_logic]]{ '''zeroth-order logic''' (compare: [[일차논리,first-order_logic]]) } ''완전히는 아니고 거의 같은 뜻... 차이 서술 TBW''
       [[일차논리,first-order_logic]]
• 불_논리,Boolean_logic
       [[술어논리,predicate_logic]] (≃ [[일차논리,first-order_logic]])
• 산술,arithmetic
        참고: [[https://terms.naver.com/entry.naver?docId=5668883&cid=60207&categoryId=60207 수학백과: 불완전성 정리]]의 '2. 페아노 산술' 참조 - [[불완전성정리,incompleteness_theorem]] 설명에 앞서 '''페아노 산술'''을 1계논리(일계논리=[[일차논리,first-order_logic]]?)로 간략히 기술한 내용.
        WpEn:Peano_arithmetic redir. to Peano_axioms의 한 섹션 - [[페아노_공리,Peano_axiom]]에서 [[induction_axiom]]을 제외하면 모두 [[일차논리,first-order_logic]]의 [[statement]]s들이다. 그리고 axiom of induction(귀납공리? [[귀납,induction]])은 [[술어,predicate]]에 대한 [[quantifier]]가 있으므로 [[이차논리,second-order_logic]]의 [[statement]]이다.
        (이건 이것들의 해당하는 [[-order_logic]]과 MKL) ... i.e. [[영차논리,zeroth-order_logic]]~[[명제논리,propositional_logic]] / [[일차논리,first-order_logic]]~[[술어논리,predicate_logic]] / [[이차논리,second-order_logic]]~? / ... etc.
       "결정가능한 1차논리([[일차논리,first-order_logic]]) 이론의 대표적 예시로 실폐체(real_closed_field - writing, curr see WpKo:실폐체 WpEn:Real_closed_field )의 이론이나 [[프레스버거_산술,Presburger_arithmetic]] 따위가 있으며, 결정 불가능한 이론의 예시로 산술의 기초적인 명제들을 증명할 수 있는 로빈슨 산술(Robinson_arithmetic)이나 군의 이론([[군론,group_theory]]? curr [[군,group]]) 따위가 있다."
• 수리논리,mathematical_logic
       [[술어,predicate]] [[술어논리,predicate_logic]] [[일차논리,first-order_logic]]
• 술어,predicate
       [[일차논리,first-order_logic]] and [[first-order_formula]]
• 술어논리,predicate_logic
       '''[[일차논리,first-order_logic]]'''(FOL)와 동일. (nLab)
       "'''술어논리'''는 보통 [[일차논리,first-order_logic]]를 뜻하는데 [[한정기호,quantifier]]가 [[변수,variable]]만을 한정하는 경우이며, 한정기호가 변수 뿐 아니라 [[술어,predicate]] 관계도 한정하는 [[기호논리,symbolic_logic]]를 [[이차논리,second-order_logic]]라고 한다."
       일차술어논리 = [[일차논리,first-order_logic]]와 같은 것인지 아님 포함관계가 있는지 chk
• 프레스버거_산술,Presburger_arithmetic
       [[일차논리,first-order_logic]]
       Up: [[산술,arithmetic]] [[일차논리,first-order_logic]]
• 형식체계,formal_system
        Predicate calculus - [[술어논리,predicate_logic]] (AKA [[일차논리,first-order_logic]])

You can also click here to search title.