О характеризации неразрешимых суперинтуиционистских исчисленийдоклад на конференции