Reflexivity
دیسه‌ای
ψ ⊢ ψ (𝑖.𝑒. {ψ} ⊢ ψ)
ψ ⊢ ψ (i.e. {ψ} ⊢ ψ)


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