在线拼音输入   加入收藏  
     

 strongly axiomatizable theory

强可公理化理论