Формой доказательства является логика