What Is Proposition In Mathematical Logic