бил (гл.) - конзистентен (прид.)

Гедел (Goedel) 1931. год. проучувал логички системи кои биле адекватни, во смисла дека имале доволно експресивна моќ да ги изразат вистинитите тврдења во аритметиката, независно од тоа дали можат да се докажат, и кои биле конзистентни во смисла да не може во таков систем да се докажат и некое тврдење и неговата негација.
„МАРГИНА бр. 3“ (1994)