example
差分
このページの2つのバージョン間の差分を表示します。
| 両方とも前のリビジョン前のリビジョン | |||
| example [2025/04/12 10:39] – [第1章 TARSKIの公理系] superuser | example [2025/05/29 06:35] (現在) – superuser | ||
|---|---|---|---|
| 行 233: | 行 233: | ||
| <mizar ta> | <mizar ta> | ||
| scheme Replacement{ A() -> set, P[object, | scheme Replacement{ A() -> set, P[object, | ||
| - | ex X st for x being object holds x in X iff | + | ex X st for x being object holds x in X |
| - | ex y being object st y in A() & P[y,x] | + | |
| provided | provided | ||
| A1: for x,y,z being object st P[x,y] & P[x,z] holds y = z | A1: for x,y,z being object st P[x,y] & P[x,z] holds y = z | ||
example.1744454342.txt.gz · 最終更新: by superuser