증명이론에서 보통 크게

힐베르트 체계
자연연역
시퀀트 계산법

이 세종류가 대표적이라고 들었는데
각각 특징이 어케되나요
자연연역 밖에 몰겠셈
힐베르트 체계에 영향을 받아서 겐첸이 자연 영역을 체계화했다는데
힐베르트 체계 검색해보면 죄다 딴소리밖에 없음;;
아무래도 체계라는 단어가 포괄적 의미가 많아서그런가
난 계산 형식적 구조에 대한 걸 원하는데

삼단논법을 예로 들면

나는 밥을 먹었다
밥은 쌀이다
---------------
나는 쌀을 먹었다

이런 형식의 기초적인 연역 계산구조의 형식을
말하는게 힐베르트 체계?


이산수학 교재에서도 그렇고 ㅈ무위키에서도 그렇고
다들 그냥 '논법' 내지는 증명연산 정도로 치부하고
넘어가서 좀 궁금띠