Положение, которое является исходным, недоказуемым, и из которого по установленным правилам выводятся другие положения - это