>>291
いや、本当にどの入門書にも書いてあることで躓いてるんだもの
形式的体系の概念なんて初歩どころかスタート時点だし
ソースなんて数理論理学の入門書なら本当に何でもいい