Frege's Basic Law V aimed to ground arithmetic in logic. It states that the extension of a concept is defined…