Непротиворечивость и элиминируемость в теории доказательствстатья