>>194
数理論理の本は、必ずLKについての説明があるのですか?
それとも知ったかぶりですか?