A new aspect of mathematical logic?