What kind of math is this?

This is do with logic which forms the basis of much of mathematics along with set theory. A lot of problems arise when statements that are considered intuitive are applied to every cirstance which leads to a few paradoxes.