A simple detailed proof for Goedel's incompleteness theorem Aleksei Lʹvovich Semenov — 1988 Kybernetika