רוסית ⇄ אנגלית

геделевская нумерация формальной системы מתח
.טכנול	Godel numbering of a formal system