• 칼큘러스,calculus . . . . 2 matches
       [[Hilbert_system]]의 다른 이름. ([[WpEn:Hilbert_system]] "a Hilbert system, sometimes called __Hilbert calculus__, Hilbert-style deductive system or Hilbert–Ackermann system")
• 대응,correspondence . . . . 1 match
       [[Hilbert_system]] - [[combinatory_logic]]
• 시스템,system . . . . 1 match
        [[Hilbert_system]]
• 자연연역,natural_deduction . . . . 1 match
       (이것은 많은 공리들을 이용하는 힐베트르 체계 [[Hilbert_system]] 와 대조됨)

You can also click here to search title.