Латинско-русский и русско-латинский словарь крылатых слов и выражений
От противного, с помощью наведения, по принципу достаточного основания.
Перечисление различных методов доказательства в формальной логике.
Магистр не слушал студента, даже закрывал глаза, чтобы и не видать его, и продолжал со всем хладнокровием математика, читающего лекцию о мнимых корнях, и со всею ясностию геометрического анализа употребляя одни, законом определенные, формы доказательства - a contrario, per inductionem, a principio causae sufficientis.(А. И. Герцен, О себе.)