構成論とは

アティヤの公理とモリソン／ウォーカーの公理を比べると、そもそも目的が違う。

• 目標要件の公理： ナニカが最終的に満たすべき条件
• 素材・環境要件の公理： ナニカを作るときに使えるモノたちに関する仮定

与えられた素材・環境要件のなかで、ナニカを作り、それが目標要件を満たすことを示すのが構成論。