You must log in or register to comment.
Consistency of an axiomatic system that contains arithmetic can be proven in this system if and only if it is inconsistent.
k
Consistency of an axiomatic system that contains arithmetic can be proven in this system if and only if it is inconsistent.
k