Logic, set theory, number system