Internal Set Theory IST# Based on Hyper Infinitary Logic with Restricted Modus Ponens Rule: Nonconservative Extension of the Model Theoretical NSA

The incompleteness of set theory leads one to look for natural nonconservative extensions of in which one can prove statements independent of which appear to be "true". One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, or Tarski-Grothendieck set theory or It is a nonconservative extension of and is obtained from other axiomatic set theories by the inclusion of Tarski's axiom which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier . In this paper we look at a set theory
, based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory
based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed.