You are right that this should really be an option when outputting the file field, but it's not, so you will need to add some custom code to help get the result you need.
First, note that file uploads are handled via the WP Media Library, and as such for each file field value there is a corresponding media post entry, the title of which is automatically the name of the file (rather than its full path), which is what you need.
Previously I have shared a somewhat generic custom shortcode for outputting the post field values from these corresponding posts generally (e.g. the alt attribute of a media post starting with an image URL), and you can use the same custom shortcode for this purpose.
See hidden link
Add that code to your site (you can add it as a code snippet at Toolset > Settings > Custom Code) to register the media-field shortcode.
Because we are working with custom shortcodes, you can't simply use the output of blocks here, you'll need to work with shortcodes for outputting Toolset field values.
If this were a non-repeating field, you'd do something simple such as:
[media-file][types field="my-pdf-field"][/types][/media-file]
and that would output the file name.
But with a repeating field this needs an extra step, whereby we use the wpv-for-each shortcode (https://toolset.com/documentation/programmer-reference/views/views-shortcodes/#wpv-for-each) to iterate over the field values.
To display your filenames as an unordered list, for example, you would need the following:
<ul>
[wpv-for-each field="wpcf-my-pdf-field"]
<li>[media-field][wpv-post-field name="wpcf-my-pdf-field"][/media-field]</li>
[/wpv-for-each]
</ul>