Set theory is used as a foundation for formal logic, which is a system of symbolic representation of ideas and arguments, in which propositions are represented by symbols and rules are provided for manipulating them.
Set theory is used as a foundation for formal logic, which is a system of symbolic representation of ideas and arguments, in which propositions are represented by symbols and rules are provided for manipulating them.