Nezinu. Domāju, ka, ja var, tad tikai kaut kādā man nezināmā veidā definējot un tad fiksējot FAI komponentu kā tik vienkāršu loģisku sistēmu, lai tā būtu Tjūringa nepabeigta un Gēdeļa pabeigta, kas ļautu to visā pilnībā formāli pierādīt un pārējo AI atvedināt no tās kā fiksēta, nekādām pārmaiņām nepakļauta kodola (sk. arī zemāk).