Peano arithmetic is enough, because Peano arithmetic encodes computation

созданный 2d | 14 июн. 2025 г., 07:30:13


Войдите, чтобы добавить комментарий