Основы аксиоматического метода доказательства в логике