الرياضيات, المنطق الرياضي, علوم الحاسوب, نظرية المجموعاتالأعداد الترتيبية القابلة للحساب (Computable Ordinal)