Сенектутем, скорее, нужен философ и математик, что само по себе редкое сочетание. Однако, среди метаматематиков таких должно быть достаточно.
Экспекто Дементум, вот поэтому и нужна цитата.
Кэп Муркотовский, логика первого порядка применима к высказываниям, если они связаны упомянутыми в этой логике символами. Причём она ещё и полна, теорема Гёделя о неполноте может удалиться нафиг. Например. Я не помню, является ли троичная (а нам нужна скорее она) логика (точнее, её формализация) полной по Гёделю, но в любом случае, крайне маловароятно, что необходимые нам связки окажутся в числе истинных-недоказыемых или ложных, но не инверсий доказуемых.
Roxanne01:
Тот самый случай, когда гадание на суженного пошло как надо! Как по маслу. Влажненько. Сладко. Все мои кинки поглажены по шёрстке, и ваши тоже будут, уж поверьте. Личный топ в любимой эротике обновлён! Ах!