Armstrong公理系统

  1.  

     

     

posted @ 2024-03-21 19:09  为zq  阅读(22)  评论(0)    收藏  举报