доказуемость

доказуемость ж исботланиш, исботлана олиш; ~ теоремы теореманинг исботлана олиши.