Meta-kuramlar bir yandan sistemlerin bağımsızlığı ve çelişkisizliğı sorunlarını ele alırlarken Öbür yandan da bır bütünsellik arayışı içindedirler. Bu konuda yapılması gereken ilk iş sistemleri kendi formları içinde sağın olarak tanımlamaktır Bunun için de önce sentaktik sonra da semantik bir kavrayıştan yola çıkmak gereklidir Bu konuda büyük bir güçlükle karşılaşılmamaktadır
Örneğin bu çalışmalar sonunda Önermeler mantığına ait özelliklerin yüklemler mantığında geçerli olmadığı görülmüş ve buradan gidilerek bizzat mantığın formelleştirilmiş sistemler için genel geçerliliği olmadığı saptanmıştır