Logic and Set Theory/Fundamental principles of logical reasoning