What are the reasons for the fact that second order arithmetic is much more suitable and fruitful for doing reverse mathematics then set theory? Thank you, JP