Априори
Априо́ри (Latin: a priori — буквально «от предшествующего») — знание, полученное до опыта и независимо от него (знание априори, априорное знание), то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори (Latin: a posteriori — от последующего) — знание, полученное из опыта (опытное знание).
Пропорция (математика)
Пропо́рция ( — соразмерность, выравненность частей; определённое соотношение частей между собой), равенство отношений двух [и более] пар чисел formula_1 и formula_2, равенство вида formula_3, или, в других обозначениях, равенство formula_4
(часто читается как: «formula_5 относится к formula_6 так же, как formula_7 относится к formula_8»). В этом случае formula_5 и formula_8 называют крайними, formula_6 и formula_7 — средними членами пропорции. Такую пропорцию ещё называют геометрической, чтобы не путать с арифметической и гармонической пропорциями.Первое известное определение равных пропорций было дано как равенство последовательных вычитаний, современным языком это можно выразить как равенство цепных дробей для отношений величин.
Позже Евдокс упростил определение, равенство пропорций formula_26 им определялось как одновременное выполнение одной из трёх пар соотношений
для любой пары натуральных чисел formula_33 и formula_34.
Это определение даётся в «Началах» Евклида.