>>368
このスレでは
根=公理、定義
枝葉=定理
ということらしいですよ