Finitism and symmetry: an inquiry into the basic notions of the Strong programme