The paper presents an axiomatic restatement of the standard approach to nonlinear income taxation. It assumes a finite number of taxpayers rather than an uncountable infinity. Analytical tools are developed which facilitate proving the existence of tax schedules that are continuous,...