Dowód, że każdy skończony ciąg liczb wymiernych można zakodować jedną liczbą naturalną
W nawiasie podano wersje, które na pewno działają:
Udowdnić, że istnieje bijekcja między skończonymi ciągami liczb wymiernych a liczbami naturalnymi (wzmocnienie obecnego wyniku, który mówi tylko o funkcji różnowartościowej z [Q] w N).