Гедель у falcao

falcao пишет о Геделевой теореме о полноте (обсуждать здесь). Мне было интересно коснуться логики и полноты формальных систем только в прикладном (к вопросам о сознании) аспекте; falcao же — математик-теоретик и наиопытнейший преподаватель, и, несомненно, его математическое изложение будет одновременно и глубже, и проще для понимания, чем мое.