数学の面白さはエッセンスが綺麗に取り出されているところ
その強力な一般性が楽しい
例えば「等しさとは何か」といえば、

1.同一律。A=Aであること
2.反射律。A=BであればB=Aであること
3.推移律。A=BかつB=CであればA=Cであること

この3つの条件を満たすものなら何でもかんでも等しさなのである、
といった感じ