 Recently there has been much debate on which criteria a theory has to meet in order to serve as a proper “foundation” for mathematics. According to a helpful proposal in Tsementzis (2017), a foundational system has to consist of three items, namely: 