Modeller kuramı, matematiksel konseptleri
küme kuramı temelinde inceleyen ya da başka bir deyişle
matematiksel sistemlerin dayandığı
modelleri araştıran
matematik dalıdır. Modeller kuramı, 'dış dünyada' matematiksel nesnelerin var olduğunu varsayar ve nesneler, nesneler arasında bazı işlemler ya da bağıntılar ve bir aksiyomlar kümesi verildiğinde, nelerin nasıl tanıtlanabileceğine ilişkin sorular sorar.