Abstract

The paper presents a new argument supporting the ontological standpoint according to which there are no mathematical facts in any set theoretic model of arithmetical theories. It may be interpreted as showing that it is impossible to construct fact-arithmetic. The importance of this conclusion arises in the context of cognitive science. In the paper, a new type of slingshot argument is presented, which is called hyper-slingshot. The difference between meta-theoretical hyper-slingshots and conventional slingshots consists in the fact that the former are formulated in the semantic meta-language of mathematical theories without the use of the iota-operator or the lambda-operator as the abstractor, whereas the latter require for their expression at least one of these non-standard term-operators. Hyper-slingshots implement simpler language tools in comparison with those used in conventional slingshots