最初の真なる式（公理）├新しい真なる式 　　です。