유한 논리 행렬을 유한 힐버트 스타일 다중 결론 시스템으로 유한하게 공리화할 수 있다는 일반적인 관찰에 기반하여, 저자들은 먼저 BK와 PWK에 대한 유한 다중 결론 힐버트 시스템을 소개하고, 이를 이용하여 이들 논리에 대한 유한 단일 결론 힐버트 시스템을 제시한다.
