mathematical logic definition

close