Our finite universe is welldefined:
 It is the 202 base2 notations from the Planck units to the Age of the Universe
 It is 202 notations, each examined closely one at a time.
 It is the first 67 notations, a new domain for thought experiments, which define the mathematical finite.

https://81018.com/hilbertinfinity/#Infinite
NIST: Peter J. Mohr,† David B. Newell,‡ and Barry N. Taylor§
National Institute of Standards and Technology, Gaithersburg, Maryland 208998420, USA