Weak Godels incompleteness property for some decidable versions of first order logic

الملخص بالإنكليزية