Matemātiskās loģikas ierobežojumi AI modeļos