"a field of study concerned with the formal structure and properties as the consistency and completeness of axioms of mathematical systems"

Crossword

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