Alfred Tarski 4

Godel 20

.

[guess]

A system can be both complete and consistent because in that system, a metatheorem cannot be translated into a theorem, so a paradox cannot be made.

[guess]

— Me@2017-04-10 10:40:38 AM

.

.

2021.04.27 Tuesday (c) All rights reserved by ACHK