проблема, как мне видится, кроется в выразительных способностях языка, который мы используем для такого определения. Пользуясь искусственными языками (в частности, тории множеств ZF и ее вариациями) можно избежать указанных тредностей.