Title: Set Theoretical Logic-The Algebra of Models