Model theoretical investigation of theorem proving methods