Logic 关于可证明不一致逻辑的问题

如果A是可证明不一致的，则有一个前提A的证明。证明的最后一行是什么？ 它是对A的否定还是仅仅是一个