Разновидности действительных чисел: математический обзор