暗号と記号論理の関係。問題には解ける問題と解けない問題がある。それは人間の言葉とか、或いは思考様式にある構造の問題だと考えられる。ゼロ知識証明は何を証明しているのだろうか？証明における、完全性や健全性は何を意味しているのだろうか？これらの疑問を解消するためには論理学が必要である。