"The field of study that deals with the structure and formal properties of mathematics and similar formal systems"

Crossword

a puzzle consisting of a grid of squares and blanks into which words crossing vertically and horizontally are written according to clues.