▽ALIBI　−現場不在証明−
●06/06 06:35
1236918

▽Boise on my mind
●06/05 16:52
【PR】“ﾎﾟｲﾝﾄが貯まりまくる” ｱﾌﾟﾘがﾔﾊﾞすぎた…！

▽くるるの数学ﾉｰﾄ
●06/05 14:34
2025-06-04対集合の公理前回: 空集合の存在するﾓﾃﾞﾙ書き直し - kururu_goedel’s diaryrealize_or､realize_and前回書いた通り､できる限りsimpでﾓﾃﾞﾙの充足を外側での命題に書き換えられるようにしたい｡というわけで､orとandをrealizeするための定理を作る｡いや､realize_orは前回の時点であったけど簡単になったので載せ直す｡@[simp]theorem realize_or [LSet.Structure V] {n : ℕ} {φ ψ : LSet.BoundedFormula ℕ n} {s : ℕ → V} {xs : Fin n → V} : (φ ∨' ψ).Realize s xs ↔ φ.Realize s xs ∨ ψ.Realize s xs := by rw [FormulaOr]

▽ﾌﾘｰｿﾌﾄ超激辛ｹﾞｰﾑﾚﾋﾞｭｰ
●06/04 04:02
【2025.06.01】更新：管理人ﾚﾋﾞｭｰ本日は､以下のﾚﾋﾞｭｰをお送りいたします｡一緒に学べる僕らの友達！ そこに限界などない｡｢かぞくﾛﾎﾞｯﾄ｣（管理人）

▽ｱﾄﾑの物理ﾉｰﾄ
●06/04 01:44
2025-06