Formalists gadeso, misallo Rudolf Carnap a, Alfred Tarski a, kuru Haskell Curry a, ilmu isawube dəga gozanan kəla shima kulashi kəla lamarra axiombe kureye ro.