Model teorisi
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. Seçim aksiyomu ve süreklilik hipotezinin küme kuramının diğer aksiyomlarından bağımsız olduğu tespiti modeller kuramından doğan en ünlü sonuçlardır (Paul Cohen ve Kurt Gödel tarafından tanıtlanmıştır).