Paraconsistent First-Order Logic with restricted modus ponens rule and infinite hierarchy levels of contradiction $LP^\#_ω$. Axiomatical system $HST^\#_ω$, as paraconsistent generalization of Hrbacek set theory HST
In this paper paraconsistent first-order logic LP^{#}_ω with restricted modus ponens rule and infinite hierarchy levels of contradiction is proposed. Corresponding paraconsistent set theory KSth^{#}_ω is discussed.Axiomatical system HST^{#}_ω as paraconsistent generalization of Hrbacek set theory HST is considered.