Обоснованность истины достигается такими средствами логического доказательства, как структура умозаключений, правила дедуктивного вывода, аксиоматизация, непротиворечивость (соответствие выводов основным посылкам, выраженным в аксиомах), позже – формализация, позволяющая добиться большей четкости и точности знаний