形式 けいしき論理 ろんり
keishikironri

Noun

1. formal logic