CEVAP:

Grünberg’e göre, herhangi bir bilgi sisteminin öndayanaksız olması için gerekli ve yeterli şart, bu sistemin bütün ilkel önermelerinin (ve dile getirilmemiş çıkarım kurallarının) dolaysız olarak belgelenmiş olmasıdır (Grünberg 1970, 19).