けんき
says to
YSITD
因為公理一定可以一直加入新的