形式 けいしき論理 ろんり がく
keishikironrigaku

Noun

1. formal logic