公理描述

axiomatic description