الأعداد الحقيقية, التحليل الرياضي, الرياضيات, نظرية المجموعاتنظرية المجموعات للخط الحقيقي (Set Theory of the Real Line)