В ряде мест используется конструкция вида «<теория> доказывает <предложение>» (например: «В идеале в статье о теореме должно быть указано, какие теории ее доказывают»). Теория — это набор предложений на некотором формальном языке. Что означает утверждение, что множество что-то доказывает? Если намерение состоит в том, чтобы теория содержала предложение, значение которого, согласно семантике формального языка, является заданным суждением, это должно быть выражено более ясно. -- Ламбиам 13:38, 5 марта 2012 г. (UTC)
Или, скорее, ZFC (на данный момент) является стандартом де-факто для рабочей математики, в то время как другие подходы являются более или менее экспериментальными? Борис Цирельсон ( разговор ) 06:41, 6 марта 2012 (UTC)