- формально выводимый
- мат. formally derivable
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Кант — (Immanuel Kant, первонач. Cant) основатель философского критицизма, представляющего главную поворотную точку в истории человеческой мысли, так что все развитие философии, если не по содержанию, то по отношению мысли к этому содержанию, должно… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона