fáctica formal