何でもかんでも「定義から厳密に」と遡っていくと、
基礎論から勉強しなければいけないことになってしまう。

それが無理なら、どこかで
「直観的に正しいからおｋ」≒「証明はいいから結果だけ覚えろ」
とするのはやむを得まい。
問題は、どのレベルでそれを発動させるかだ。