Title: Finitism and symmetry