>>545
ええ、関係ないです。
車を運転するのに車の図面を書きますか？
>>546
その通りです。
このシリーズは全部で16冊出ています。
>>547
それはクリプキのどの定理でしょうか？