Comment by elektromekatron

Yeah, but you made a statement about the kind of logic you cannot study, so we can begin by formalizing that.