大学学部レベル質問スレ 9単位目

[0479 １３２人目の素数さん 2018/02/23(金) 22:03:31.52 ID:b0HOGmDv]

>>475
まず真なる式が定義される（公理）。これらから新しい真なる式を得る法則が定義される（推論法則）。それらが与えられて「真なる式」が定義される。