t_wの輪郭

axiom of sum setZF和集合公理
『論理データベース論考』