公理的意味論とはなんですか？

A. 公理的意味論とは、数理論理学に基づいてプログラムの正当性を証明する手法です。

参考URL:https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E6%84%8F%E5%91%B3%E8%AB%96