oktw
says to
#ysitd
<licson>: axiom是公理