Hello, T4r4sB, you wrote: TB> But whether there will be same rules with the same outputs as to work in other Universe? Logic laws by the nature are similar to formal grammar. Here there is at us a rule set - grammar of language of Si. By these rules foo it the identifier, and 1a2s not . Whether someone can in other Universe, having in accuracy the same grammar of the same language of Si, to decide, what by rules of this language 1a2s it the identifier? Or he conforms to the rules and receives the same output that we, or he simply does not conform to the rules, other answer, from the point of view of these logic/grammar the erratic does not work within the limits of the same logic, then for it. Thus the question of a correctness of logic as a whole is not put, as the attention to the question on a correctness of grammar of language of Si is not brought, it simply is, such what it set. It is possible to try to bring an attention to the question on completeness of any logic, and on its resolvability. And here Godel and Turing has the bad news to us, in many cases.