Cтраница 4
Любая логическая система, если избегать порочного круга, должна начинать с неопределенных терминов и недоказуемых предложений. [46]