The number zero abstract mathematics background