Овчинников
А по остальному - понимаете ли, в чём проблема...
Это всё - ваше видение. Т.е. так могло быть, а могло и не быть. Пока вы не докажете выводимость(в данном случае для этого требуется единственность, доказывать которую вообще дело очень сложное), ваш набор в требования непротиворечивости включать нельзя.
Получается, как указали выше, противоречие авторского обоснуя и Вашего видения. Это не является внутренним противоречием.