Basic set & number theory