У нас уже есть хорошая замена «теории во втором смысле». Это слово «гипотеза». Все понимают, что гипотеза — предположение, ждущее подтверждения (или опровержения), но этот предполагаемый характер эволюции теперь уже устранен, хотя во времена Дарвина он существовал. С «Теорией в 1-ом смысле» сложнее. Лучше просто продолжать использовать «теория», как если бы «второго смысла» не существовало. Действительно, было бы неплохо если бы Смысла 2 не существовало вообще, так как он запутывает и не нужен, учитывая, что мы имеем слово «гипотеза». К сожалению, второй смысл слова общеупотребим, и мы не можем декретом его отменить. Я поэтому собираюсь воспользоваться значительной, но заслуживающее прощения, свободой и позаимствовать из математики слово «теорема» для Смысла 1. Это — фактически неправильное заимствование, как мы увидим, но я думаю, что выгоды перевешивают риск возникновения путаницы. В качестве жеста умиротворения в адрес оскорбленных математиков, я собираюсь изменить написание на «теорума». Для начала, позвольте мне объяснить строго математическое использование теоремы, и в то же время уточнить мое предыдущие заявление, что, строго говоря, только математикам позволено доказать что-либо (адвокаты не могут, несмотря на хорошо оплачиваемые притязания). Для математика доказательство — это логический вывод того, что заключение теоремы неизбежно следует из принятых аксиом. Теорема Пифагора верна, если мы принимаем в качестве основы аксиомы Евклида, одна из которых утверждает, что параллельные прямые не пересекаются. Вы будете напрасно терять время, проверяя тысячи прямоугольных треугольников, чтобы найти тот, который опровергнет теорему Пифагора. Пифагор доказал ее, каждый может проверить доказательство, она просто истинна и с этим ничего не сделаешь. Математики используют идею доказательства для различения между «догадкой» и «теоремой», что внешне напоминает различия ОАС между двумя смыслами слова «теория».