Elements logic foundat. mathem. problems by Marek