Основные виды прямых доказательств в логике и науке