paragraph_text: Fiksirajmo neku aksiomatsku teoriju T. Kažemo da je neka rečenica jezika teorije T nezavisna od aksioma te teorije ako opstoje modeli teorije T u kojima je ta rečenica točna i modeli u kojima ta rečenica nije točna.