[an error occurred while processing this directive]
Тавтология, однако, аксиома и есть недоказуемое и неопровержимое.. В оригинале вроде говорилось о том, что любая теория на системе аксиом станет либо противоречивой либо неполной..
(«Телесистемы»: Конференция «Программируемые логические схемы и их применение»)