This paper defines the conglomerate axiom system COG, and constructs the model A~B,and proves that A~B is the Boolean - valued moael of COG on the basis of [1].

 
  • 本文在文獻[1]的基礎上,首先定義聚合公理系統COG,然后構造模型A~B,最后證明A~B是COG的布爾值模型。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan