 As conceptualizations apparently transcending the proposed framework – not expressible in a higher-order logic – Hintikka considers the maximality assumption expressed by David Hilbert’s so-called axiom of completeness. The axiom says that no mathematical objects can be added to the intended models without violating the other  axioms.[82]