Аксиоматизация доказуемой 1-доказуемостидоклад на конференции