Zavedení a vlastnosti reálných čísel