 Hintikka sees \(\mathbf{EIFL}\) as allowing to reconstruct all normal mathematical reasoning on the first-order level. This result is essentially dependent on the acceptability of Hintikka’s claim that \(\mathbf{EIFL}\) is ontologically committed to individuals only (Subsect. 5.1). But how would \(\mathbf{EIFL}\) serve to reconstruct an important part of all mathematical reasoning?