Monotonicity required for Provability #37
Description
Provability of predicates requires that they are monotonous. This can be mentioned as a remark when we introduce monotonicity and provability (or as a theorem?)
{{ message }}
Provability of predicates requires that they are monotonous. This can be mentioned as a remark when we introduce monotonicity and provability (or as a theorem?)