公理的意味論こうりてきいみろん<こう'り'てき>・<い'み'ろん>7

EDVaxiomatische Semantik