formal certainty

[ریاضیات] یقین صوری