idempotency
دیسه‌ای
𝑥 ⋆ 𝑥 = 𝑥
x ⋆ x = x


تاربرگ‌های پیموده‌شده در این نشست: Negative Free Logic ⟩ Peano arithmetics ⟩ Logic R ⟩ Contingentism