Ты право, пьяное чудовище

По моему разумению, математика знает только два вида истины. Первый – это аксиомы, то есть, утверждения, принятые за истину чисто условно, по договоренности. Иногда такие аксиомы не имеют четкой формулировки, а просто подразумеваются – как в «очевидно, что...» в начале математического рассуждения. Второй вид математической истины – это высказывания, полученные преобразованием аксиом по заранее выбранным правилам, которые, опять же по условной договоренности, считаются сохраняющими истинность первоначального утверждения.

( Я знаю: истина в вине )