Сенектутем, скорее, нужен философ и математик, что само по себе редкое сочетание. Однако, среди метаматематиков таких должно быть достаточно.

Экспекто Дементум, вот поэтому и нужна цитата.

Кэп Муркотовский, логика первого порядка применима к высказываниям, если они связаны упомянутыми в этой логике символами. Причём она ещё и полна, теорема Гёделя о неполноте может удалиться нафиг. Например. Я не помню, является ли троичная (а нам нужна скорее она) логика (точнее, её формализация) полной по Гёделю, но в любом случае, крайне маловароятно, что необходимые нам связки окажутся в числе истинных-недоказыемых или ложных, но не инверсий доказуемых.