>>558
＞モデルなんぞあってもなくても
＞証明なんか公理と推論規則しかないんやから
＞意味論なんか何も意味ないやろ

人ができることは公理から推論規則によって定理を導くことだけ、といいたいならその通り
そして意味論はそのような目的には全く使えない、といいたいならこれまたその通り

では、なぜ意味論を考えるのか？
それは、
推論が健全なのか、つまり公理を真とするすべてのモデルで定理が真なる命題となるのか？
推論が完全なのか、つまり公理を真とするすべてのモデルで真となる命題が定理となるのか？
これを確かめるため

You see?