未定義と無限大と無限の長さ、無限のデータ構造を許さないといけない。
遅延処理、並列処理が可能でなければならない。
全称記号(∀)と存在記号(∃)を表せなければならない。