About consistency results of 1,247

Relevance