|
|
|
|
|
|
by loicd
1068 days ago
|
|
|
> Systems of mathematics cannot be both complete and consistent 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. |
|
|