Непротиворечивость, Формулировка


v20240901