формален (прид.) - израз (имн.)

Откако го пронашол ваквиот код, следниот чекор за Гедел бил во детали да го трансформира парадоксот на Епименид во некаков формален израз од теоријата на броеви.
„МАРГИНА бр. 17-18“ (1995)