Element 'mathematical logic'