意味論

証明の確かさって一体どう定義されているのだろうと思い立ってネットを彷徨、妥当性や健全性って定義に行き着きました。 確認が終わったところで、どうしてそれが正しいと仮定されたいるのかと再び疑問が浮んでネットを再び彷徨。一応の解釈に行き着きました...