プログラミングやシステムは極端に言うと0と1のみでできている
相対性理論も集合命題場合分けの組み合わせで説明ができる