Comment Comment by loicd > Systems of mathematics cannot be both complete and consistentNo. They can't be at the same times complete, consistent, decidable and powerful enough to express arithmetic. You can do complete, consistent and decidable though. parent loicd 3 years ago
No. They can't be at the same times complete, consistent, decidable and powerful enough to express arithmetic. You can do complete, consistent and decidable though.