Between Logic and Intuition: Must We Believe in Set Theory?