恒真 こうしん しき
kōshin shiki

Noun

1. tautology

Logic