Rudolf Karnap, Alfred Tarskiy ve Haskell Karri kibi diger şekilciler, riyaziyatnı şekliy aksioma sistemalarınıñ tetqiqatı olaraq saya ediler.