>>13
数学全体の基礎に述語論理があるけども、
モデルというのはススリンの木によるダイアモンド原理を
実現するためにクリプキによって導入された理論。
基本的にはドゥルーズ以前の樹形図による発展的論理学。
ポストの定理が証明されてからはリゾームへ移行している。