Can we have a consistent and effective (fulfilling Godel's criteria) first order theory $T$, that is both unsound and $\omega$-inconsistent, and yet doesn't prove its own inconsistency ( i.e. $T \not \vdash \neg \operatorname {Con}(T)$)?