Once a formal system is given, one can define the set of theorems which can be proved inside the formal system.
Откога ќе се постави формален систем, тогаш можеме да дефинираме множество теореми кои можат да се докажат во рамките на формалниот систем.