恒真式
- noun (common) (futsuumeishi)
恒真式
Noun
1
noun (common) (futsuumeishi)
logic
tautology