 The investigation of such subsystems of analysis and the determined effort to establish their mathematical power led to a research program that was initiated by Friedman and Simpson some thirty years ago and dubbed Reverse Mathematics. The objective of the program is to investigate the role of set existence principles in ordinary  mathematics.[26]  The main question can be stated as follows: