https://1library.org/document/zpnrgk5r-completeness-theorems-for-first-order-logics-formal-inconsistency.html