האם לוגיקה היא בעצם מערכת הגדרות?

האם אפשר להגיד ש״לוגיקה״ היא בעצם מערכת של הגדרות?
ברגע שמגדירים הגדרה (מונח) כלשהי, אז אפשר לבנות על זה. 
ההגדרה של 2 היא שהוא מורכב מ1+1. 
ההגדרה של משולש שיש לו 3 צלעות. 

זה בעצם מסביר למה הבורא הוא לא ״מעל״ הלוגיקה. כי אין דבר כזה מעל הגדרות. אם הגדרת שמשולש זה 3 צלעות אז אין דבר כזה משולש עגול. אם הגדרת שכל האנשים הן בני תמותה אז סוקרטס הוא בן תמותה. 

בעצם להבנתי כל המהות של לוגיקה, היא בסך הכול – אוסף הגדרות.