[1YK] Si può determinare se una formula è ben formata facendo un numero finito di controlli usando le regole precedenti: infatti le regole stabiliscono che ogni formula ben formata si deve poter spiegare in termini di formule ben formate che sono più corte di lei. Dunque la affermazione “questa formula è ben formata” è “decidibile”. 1
EDB — 1YK
Managing blob in: Multiple languages